Add idris-mode
This commit is contained in:
parent
5aa7efd65a
commit
5d7b61d0c2
@ -48,6 +48,7 @@
|
|||||||
rust-mode
|
rust-mode
|
||||||
go-mode
|
go-mode
|
||||||
edit-indirect
|
edit-indirect
|
||||||
|
idris-mode
|
||||||
lsp-mode
|
lsp-mode
|
||||||
];
|
];
|
||||||
};
|
};
|
||||||
|
Loading…
Reference in New Issue
Block a user