Commit Graph

3 Commits

Author SHA1 Message Date
Henrik Lissner
20cac97c08 docs(:lang): update READMEs to new format 2021-11-21 20:04:28 +01:00
Itai Y. Efrat
558277f523 update idris module to new format
also add witty comment
2020-10-06 13:53:32 +03:00
Patrick Elliott
a2c1a62cd6 Add basic idris support 2018-08-21 13:35:58 +02:00