TY  - RPRT
TI  - Idris 2: Quantitative Type Theory in Practice
AU  - Edwin Brady
PY  - 2021
UR  - https://arxiv.org/abs/2104.00480
ID  - 2104.00480
ER  -