Commit Graph

1 Commits

Author SHA1 Message Date
CodingCellist
3baafd5c33 Add support for Idris2, closes #534 (#535) 2020-09-05 21:37:11 +02:00