TakeV/spacemacs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
spacemacs/contrib/!lang/idris-lang/img/idris.png
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

4.9 KiB
190x88px
Raw History