freer-monads topic
List
freer-monads repositories
freer-effects
64
Stars
12
Forks
Watchers
An implementation of "Freer Monads, More Extensible Effects".
FreeSpec
51
Stars
11
Forks
Watchers
A framework for implementing and certifying impure computations in Coq