HYIP-Man: Higher-Order Type-Level Programming in Haskell [pdf]
Sunday, March 17, 2019
Higher-Order Type-Level Programming in Haskell [pdf]
Higher-Order Type-Level Programming in Haskell [pdf]

more