monadic-effects topic
List
monadic-effects repositories
monae
67
Stars
10
Forks
Watchers
Monadic effects and equational reasonig in Coq
