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. |
||
---|---|---|
.github/workflows | ||
src | ||
.editorconfig | ||
.gitignore | ||
LICENSE.txt | ||
README.md | ||
monoids-in-the-category-of-endofunctors.cabal |
README.md
Monoids in the Category of Endofunctors
This is a toy library for studying the field of Abstract Nonsense through Haskell. Writing this sort of code makes for a fun puzzle, but you probably shouldn't use this for any serious work.
This library currently includes:
- Category theory
- Recursion schemes (
Functor.Algebra
) - Dependent types, type-level programming, and codata (
Data
) - Dependent quantifiers (implemented with the help of a typeclass;
Quantifier
)
Content warning
This library is an abuse of GHC Haskell and an abuse of common sense. Do not attempt to view this library if you are faint of heart.