search

idris-hackers / idris-vim

Idris mode for vim
221 stars 52 forks source link

Fix type-querying holes. (Issue #69) #71

Closed stephen-smith closed 7 years ago

melted commented 7 years ago

Thanks for the PR!