search

zjhmale / vscode-idris

Idris for Visual Studio Code
https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
BSD 3-Clause "New" or "Revised" License
106 stars 21 forks source link

Completion for items in whole project with fuzzy mode #102

Closed zjhmale closed 7 years ago

zjhmale commented 7 years ago

Currently, it only automatically builds completion items for activated editor. Be careful about the difference between iPKG based project and standalone Idris file on this.