https://github.com/CoqHott/coq-effects
Tip revision: 8059d06b525c944c8da241d2e6dd18a0c9080999 authored by Pierre-Marie Pédrot on 21 June 2017, 11:19:24 UTC
Random stuff in parametricity.
Random stuff in parametricity.
Tip revision: 8059d06
_CoqProject
-R theories/ Effects
-I src/
src/eTranslate.ml
src/eTranslate.mli
src/ePlugin.ml
src/ePlugin.mli
src/g_exception.ml4
src/exception.mlpack
theories/Effects.v
theories/list/Eff.v
theories/writer/Eff.v
theories/exception/Eff.v
theories/delay/Eff.v
test/TestException.v
test/TestList.v
test/TestDelay.v
