Code

Code lens for running main#28

Code

Merged

jiribenes merged 6 commits intomastereffekt-lang/effekt-vscode:masterfrom run-effekt-fileeffekt-lang/effekt-vscode:run-effekt-fileCopy head branch name to clipboardOct 21, 2024

+77-4

Commits

Commits on Oct 20, 2024

• WIP: Run main function code lens

  jiribenes

  committed
  1e2d142

• Add support for literate effekt

  jiribenes

  committed
  22e4210

• Try using the REPL instead

  jiribenes

  committed
  49bc8c0

• Cleanup module parsing

  jiribenes

  committed
  bff8c59

• getEffektArgs now doesn't include --server

  jiribenes

  committed
  58c0e5c

Commits on Oct 21, 2024

• Go back to running the file directly

  jiribenes

  committed
  5a12148