Skip to content

v0.9.0

Compare
Choose a tag to compare
@zjhmale zjhmale released this 23 Apr 10:59
· 43 commits to master since this release
  • Improvement for using with standalone Idris file #94
  • Improvement for using on Windows #93
  • Fix loading empty string when starting REPL on windows #92 @be5invis
  • Nullify ideModeRef after project options have been changed 5306560 @dramforever
  • Update syntax file for parameter block dec5b09 @be5invis
  • Update syntax file for quasiquote 86e621b @be5invis
  • Add a portable prelaunch script #89
  • Fix memory leak when type checking failed #86
  • Update syntax file for tail comments 69fe18d