Also : Dependent types example in Shen (http://sandycat.info/blog/deptypes-shen/... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

erbn93 on Dec 28, 2013 | parent | context | favorite | on: Does Haskell need macros? [2007]

Also : Dependent types example in Shen (http://sandycat.info/blog/deptypes-shen/)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact