Hacker News new | ask | show | jobs
GADT and State Machines (blog.osau.re)
3 points by davesnx 1415 days ago