Merge pull request #1375 from juhp/master

add idris (idris-lang/idris-dev#2501)
This commit is contained in:
Jens Petersen 2016-04-20 14:39:30 +09:00
commit 5898dff8c7

View File

@ -908,6 +908,7 @@ packages:
- ghcjs-codemirror
- ghcjs-dom
- gtksourceview3
- idris
- jsaddle
- leksah-server
- ltk