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 |
---|---|---|
constructor-subtyping | ||
efficient-mendler | ||
efficient-mendler-codata | ||
efficient-mendler-prime | ||
generic-reuse | ||
idem-quotients | ||
impred-ind | ||
large-elim-sim | ||
lfmtp19 | ||
recursive-representation-of-data | ||
.gitignore | -rw-r--r-- | 38 bytes |
README.md | -rw-r--r-- | 2.4 KB |