Skip to content

v0.8.9
Compare
Choose a tag to compare
@zjhmale zjhmale released this 16 Apr 16:02
· 64 commits to master since this release
v0.8.9
fe429ae
  • Auto-completion module names in iPKG file #62
  • Go to the definition of a concrete module file from iPKG file #68
  • Literate programming improvement #79
  • Extension activates on Idris file, iPKG file and literate Idris file #80
  • Auto-completion module names in import clause of Idris file and literate Idris file #81
  • Auto-completion for Idris keywords and iPKG keywords #82
Assets 2
Loading