2 Commits

Author SHA1 Message Date
Tamás Tóth
f6a718cab9 Update idris to version 1.3.0 2018-05-26 23:04:13 +02:00
Tamás Tóth
5194ba1be0 Add idris 2018-05-25 23:34:11 +02:00