New top story on Hacker News: Higher-Order Type-Level Programming in Haskell [pdf] Posted By: Rushan Skywalker 12:00 AM Leave a Reply Higher-Order Type-Level Programming in Haskell [pdf] 93 by justinhj | 10 comments on Hacker News. Tweet Share Share Share Share
0 comments: