Select Git revision
Monad.c
-
Samuel Hym authoredShow how to define a monad to provide support, how to write code in that monad, how to use Coq extraction and how to call digger to convert the code
Samuel Hym authoredShow how to define a monad to provide support, how to write code in that monad, how to use Coq extraction and how to call digger to convert the code