https://github.com/cedille/cedille-developments
History
Tip revision: 0cc60308ad479358474ea63adccf0e3d1b302819 authored by Christa Jenkins on 25 April 2022, 17:41:40 UTC
large-elim-sim: small fixes
Tip revision: 0cc6030
File Mode Size
README.md -rw-r--r-- 2.0 KB
bool.ced -rw-r--r-- 544 bytes
int.ced -rw-r--r-- 8.3 KB
listset.ced -rw-r--r-- 5.1 KB
modk.ced -rw-r--r-- 11.5 KB
nat.ced -rw-r--r-- 5.6 KB
or.ced -rw-r--r-- 87 bytes
pair.ced -rw-r--r-- 627 bytes
parity.ced -rw-r--r-- 2.5 KB
quotient-comb.ced -rw-r--r-- 1.6 KB
quotient-defs.ced -rw-r--r-- 438 bytes
quotient.ced -rw-r--r-- 2.8 KB
uip.ced -rw-r--r-- 507 bytes

README.md

back to top