monae
Monadic effects and equational reasonig in Coq
67 stars
6 watching
11 forks
Language: Coq
last commit: about 2 months ago
Linked from 2 awesome lists
math-compmathcompmonad-transformersmonadic-effectsmonadsnondeterminismprobabilistic-programmingssreflect