monadic-effects

There are 0 repository under monadic-effects topic.

affeldt-aist / monae
Monadic effects and equational reasonig in Coq
monads monad-transformers probabilistic-programming nondeterminism mathcomp ssreflect math-comp monadic-effects
Language:Coq 68