Hacker News new | ask | show | jobs
Basic Type Level Programming in Haskell (parsonsmatt.org)
4 points by creichert 3342 days ago