monadic-effects topic

List monadic-effects repositories

monae

67
Stars
10
Forks
Watchers

Monadic effects and equational reasonig in Coq

verified publisher icon affeldt-aist