2 commits

Author	SHA1	Message	Date
syl20bnr	c580ff1361	idris layer: minor change in README	2015-07-03 23:08:46 -04:00
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