GitHub repository: laughedelic/sublime-idris
Primary language: Python
Description: Sublime Text plugin for Idris language