search

meraymond2 / idris-vscode

Idris front-end for VS Code
MIT License
58 stars 10 forks source link

Load pkgs from ipkg file in idris1 mode #67

Closed oshmkufa2010 closed 2 years ago

meraymond2 commented 2 years ago

Thanks for the PR, I'll go through it this week :+1: