wygulmage/semicategory
Semicategories in Haskell, heavily inspired by Edward Kmett's Hask, Conal Elliott's 'Denotational Design', and Awodey's 'Category Theory'
Haskell
Semicategories in Haskell, heavily inspired by Edward Kmett's Hask, Conal Elliott's 'Denotational Design', and Awodey's 'Category Theory'
Haskell