3 Commits

Author SHA1 Message Date
Richard Kuhnt
f45dd12d30 idris: fix hash (closes #2308) 2018-06-15 19:42:42 +02:00
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