https://github.com/plum-umd/mvcai
Tip revision: 511fa41d8b635bbfe5779fa7fb24d5777dbcaaa5 authored by David Darais on 26 March 2018, 01:21:50 UTC
updated development and port to latest Agda
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 |