The idris-mode package has been updated to no longer use the idris-packages variable, which allows the Idris layer to safely be renamed to the standard for other languages.
4.9 KiB
190x88px
4.9 KiB
190x88px
![](/TakeV/spacemacs/raw/commit/b5af9b0b5d5501b5c23def095d8f3523338e43c8/layers/+lang/idris/img/idris.png)