mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-29 13:08:51 +08:00
84c88eafa5
Idris is a dependently typed purely functional programming language influenced by Haskell. See http://idris-lang.org
7 lines
228 B
Plaintext
7 lines
228 B
Plaintext
(:name idris-mode
|
|
:website "https://github.com/idris-hackers/idris-mode"
|
|
:description "Major mode for the Idris language"
|
|
:type github
|
|
:pkgname "idris-hackers/idris-mode"
|
|
:features idris-mode)
|