freer-monads
There are 3 repositories under freer-monads topic.
IxpertaSolutions/freer-effects
An implementation of "Freer Monads, More Extensible Effects".
lthms/FreeSpec
A framework for implementing and certifying impure computations in Coq
There are 3 repositories under freer-monads topic.
An implementation of "Freer Monads, More Extensible Effects".
A framework for implementing and certifying impure computations in Coq