seliopou/typo
View on GitHub ↗ ★ 256 Haskell
A programming language that runs in Haskell's type system.
9 mentions on Hacker News by 4 people: 2 stories, 7 comments · first 2013-08-07 · latest 2025-05-10
20082026
-
▲ 3
Typo: A programming language that runs in Haskell's type system.story by spooneybarger · 2013-12-31 · 0 comments
-
▲ 119
Typo: A programming language that runs in Haskell's type systemstory by llambda · 2013-08-07 · 21 comments