TY  - RPRT
TI  - Simulating Large Eliminations in Cedille
AU  - Christopher Jenkins
AU  - Andrew Marmaduke
AU  - Aaron Stump
PY  - 2021
UR  - https://arxiv.org/abs/2112.07817
ID  - 2112.07817
ER  -