Collections of Papers and Books about Haskell, Type Theory and Category Theorygithub.com/saurabhkukade4 pointskukadesaurabh6 years ago