Closed robrix closed 7 years ago
This PR defines a runFreerM function for iteration by refinement in a Monadic context.
runFreerM
Monad
This PR defines a
runFreerM
function for iteration by refinement in aMonad
ic context.