swr1bm86/vscode-idris

Literate programming improvement

Closed this issue · 0 comments

Need to handle the > at the start of each line of code in literate files.

  • Find literate module definition
  • Find function definition in literate file
  • Find function definition for literate file
  • Rename
  • Find reference
  • Index workspace symbols