Collections of papers and books about Haskell, Type Theory and Category Theory
No issues in this repository yet.