seliopou/typo
A programming language that runs in Haskell's type system.
119 best points · 21 comments · 2 Hacker News posts · 256 GitHub stars · View on GitHub
Hacker News discussions
- Typo: A programming language that runs in Haskell's type system (119 points, 21 comments, by llambda, 2013-08-07)
- Typo: A programming language that runs in Haskell's type system. (3 points, 0 comments, by spooneybarger, 2013-12-31)