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 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).