New top story on Hacker News: Higher-Order Type-Level Programming in Haskell [pdf]

Higher-Order Type-Level Programming in Haskell [pdf]

Post a Comment

0 Comments