Repository Index

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor

the goal of this kata is to learn to work incrementally by implementing a cli arguments parser.

• kata
• tdd
• bdd
• testing