https://github.com/CoqHott/coq-effects
History
Tip revision: 8059d06b525c944c8da241d2e6dd18a0c9080999 authored by Pierre-Marie Pédrot on 21 June 2017, 11:19:24 UTC
Random stuff in parametricity.
Tip revision: 8059d06
File Mode Size
ePlugin.ml -rw-r--r-- 16.3 KB
ePlugin.mli -rw-r--r-- 844 bytes
eTranslate.ml -rw-r--r-- 6.9 KB
eTranslate.mli -rw-r--r-- 1.1 KB
exception.mlpack -rw-r--r-- 31 bytes
g_exception.ml4 -rw-r--r-- 926 bytes

back to top