Jump to navigation Jump to search
I just really like types. And complex numbers. And, um, cats?..
Esolangs described here
It seems I’m likely to stumble on Turing tarpits or silly ones.
- /Generalized Minsky machine (model of computation)
- Symmetric λ-calculus (model of… computation??)
Silly unfinished drafts
Why they are here at all? I don’t know. There are so many additions last time, I just couldn’t abstain?..