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
src
test
theories
.gitignore -rw-r--r-- 88 bytes
COPYING -rw-r--r-- 484 bytes
Makefile -rw-r--r-- 244 bytes
README.md -rw-r--r-- 3.5 KB
_CoqProject -rw-r--r-- 302 bytes

README.md

back to top