1 commit

Author	SHA1	Message	Date
syl20bnr	2ccea679da	idris layer: rename the layer to idris-lang, update bindings and doc ... Rename the layer to idris-lang because idris-packages variable is used by the package Update key bindings to better fit spacemacs conventions Convert markdown README to org	2015-07-03 20:44:04 -04:00

Renamed from contrib/!lang/idris/img/idris.png (Browse further)