JLimperg / cats

Category Theory in Agda. Learning exercise, not for public consumption.
24Updated 4 years ago

Related projects

Alternatives and complementary repositories for cats