James T. Martin
69f0312c8d
I ended up re-implementing most of the functionality of this library while trying to implement a categorical model of a programming language I was working on, so I went ahead and copied most of it over here. The new version is still missing some features, such as linear functions, monadic bind, the Unc typeclass, and haddock. It also makes a few different design decisions, which come with their own trade-offs. |
||
---|---|---|
.. | ||
Category | ||
Data | ||
Functor | ||
Object | ||
Relation | ||
Functor.hs | ||
Quantifier.hs | ||
Relation.hs |