el-get/recipes/idris-mode.rcp

(:name idris-mode
       :website "https://github.com/idris-hackers/idris-mode"
       :description "Major mode for the Idris language"
       :type github
       :depends (prop-menu)
       :pkgname "idris-hackers/idris-mode"
       :features idris-mode)
Add idris-mode recipe Idris is a dependently typed purely functional programming language influenced by Haskell. See http://idris-lang.org 2013-05-11 06:18:39 +08:00			`(:name idris-mode`
			`:website "https://github.com/idris-hackers/idris-mode"`
			`:description "Major mode for the Idris language"`
			`:type github`
Add recipe for prop-menu, update idris-mode deps Idris mode reqires prop-menu to be installed, but that package wasn't availablein el-get. This commit adds a recipe for prop-menu, and updates the idris-mode recipe to depend on prop-menu. close #2300 2015-11-26 23:55:17 +08:00			`:depends (prop-menu)`
Add idris-mode recipe Idris is a dependently typed purely functional programming language influenced by Haskell. See http://idris-lang.org 2013-05-11 06:18:39 +08:00			`:pkgname "idris-hackers/idris-mode"`
			`:features idris-mode)`