benediktahrens / monads

Coq code accompanying several articles on semantics of functional programming languages
10Updated 6 years ago

Related projects

Alternatives and complementary repositories for monads