Vitalii Guzeev
hask: Platonic Hask overview.
Remove filter
- Platonic Hask overview: algebraic data types as a corollary of monoidal structure
- Platonic Hask overview: representable functors and monoidal category structures
- Platonic Hask overview: subcategories, functors, and natural transformations
- Platonic Hask overview: construction of the category
- Platonic Hask overview: introduction