TY  - RPRT
TI  - idris-ct: A Library to do Category Theory in Idris
AU  - Fabrizio Genovese
AU  - Alex Gryzlov
AU  - Jelle Herold
AU  - Andre Knispel
AU  - Marco Perone
AU  - Erik Post
AU  - André Videla
PY  - 2020
DO  - 10.4204/eptcs.323.16
UR  - https://arxiv.org/abs/1912.06191
ID  - 1912.06191
ER  -