3 commits

Author	SHA1	Message	Date
Patrick Elliott	fb5d1ae739	Remove (unmaintained) helm-idris package	2018-08-25 16:22:04 +02:00
Patrick Elliott	e64b8322a4	Added helm-idris	2018-08-25 15:35:06 +02:00
Patrick Elliott	a2c1a62cd6	Add basic idris support	2018-08-21 13:35:58 +02:00