This website requires JavaScript.
Explore
Help
Sign In
TakeV
/
spacemacs
Watch
1
Star
0
Fork
You've already forked spacemacs
0
Code
Issues
Pull requests
Packages
Projects
Releases
Wiki
Activity
4df3f55206
spacemacs
/
layers
/
+lang
/
idris
/
img
History
…
..
idris.png