15 lines
677 B
Markdown
15 lines
677 B
Markdown
# Monoids in the Category of Endofunctors
|
|
This is a **toy** library for studying the field of [Abstract Nonsense](https://en.wikipedia.org/wiki/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.
|