Search command - Githubissues

zjhmale / vscode-idris

Idris for Visual Studio Code

BSD 3-Clause "New" or "Revised" License

106 stars 21 forks source link

Closed zjhmale closed 7 years ago

zjhmale commented 7 years ago

Need to create a new idris-repl class similar to ide-mode and idris-build.