wygulmage/semicategory

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

This repository is not active