blob: 6438b09bdc2a4407b460ef898d3dbcae5f721795 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# Totally Fun Programming Language
**This project is in a completely unusable and unimplemented state and
is only available as a public archive.** See my (possibly slightly
related) programming language [bruijn](https://bruijn.marvinborner.de)
for active work.
## Public archive notes
I believe this was originally intended to be a total functional
programming language and was designed as a merge between low-level and
very abstract languages. There's some weird history in Git, mostly
playing around with the concept of PLs in general I think.
I know that I later discovered that Agda and Idris can do some of the
same things I wanted "Fun" to do, e.g. by using FFI and a C backend
(although I apparently imagined a ASM FFI, but that's not really
future-proof anyway).
|
