{"ref":"eldargab-patch-1","ref_type":"branch","master_branch":"master","description":"Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.","pusher_type":"user"}