https://github.com/cedille/cedille-developments
Tip revision: 0cc60308ad479358474ea63adccf0e3d1b302819 authored by Christa Jenkins on 25 April 2022, 17:41:40 UTC
large-elim-sim: small fixes
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 |