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 |
---|---|---|
.cedille | ||
large-elim | ||
lib | ||
README.md | -rw-r--r-- | 2.0 KB |
core.ced | -rw-r--r-- | 251 bytes |
lib.ced | -rw-r--r-- | 943 bytes |