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??) ← this seems to be a mistake and doesn’t work at all; sorry for that
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?..