4 Commits

Author	SHA1	Message	Date
Mathijs Kwik	593c633aa8	emacs-idris-mode: upgrade to support idris 0.9.12	2014-04-08 08:38:43 +02:00
Mathijs Kwik	d2dd22651d	idris-mode: upgrade to current version	2014-03-02 08:41:45 +01:00
Pascal Wittmann	e8b0001268	idris-mode: fixed link to homepage (merge #1671)	2014-02-04 18:56:24 +01:00
Mathijs Kwik	8fad5a72ec	add emacs/idris-mode	2014-01-07 07:16:47 +01:00