Here's a Lisp-ish language implemented in Haskell's type system that I wrote a couple years ago. Computation is everywhere! https://github.com/seliopou/typo ht

Here's a Lisp-ish language implemented in Haskell's type system that I wrote a couple years ago. Computation is everywhere! https://github.com/seliopou/typo https://github.com/seliopou/typo