https://github.com/plum-umd/mvcai
History
Tip revision: 511fa41d8b635bbfe5779fa7fb24d5777dbcaaa5 authored by David Darais on 26 March 2018, 01:21:50 UTC
updated development and port to latest Agda
Tip revision: 511fa41
File Mode Size
AGT
CDGAI
Poset
Prelude
.gitignore -rw-r--r-- 11 bytes
AGT.agda -rw-r--r-- 11.0 KB
CDGAI.agda -rw-r--r-- 478 bytes
Makefile -rw-r--r-- 356 bytes
Poset.agda -rw-r--r-- 2.6 KB
Prelude.agda -rw-r--r-- 554 bytes
README -rw-r--r-- 1.8 KB

README

back to top