4 ms·Typo: A programming language that runs in Haskell's type system.3 points by spooneybarger 13y ago