Code

[ fix ] compile-and-execute menu#20

Code

Merged

gallais merged 2 commits intomainidris-community/idris2-mode:mainfrom compile-and-executeidris-community/idris2-mode:compile-and-executeCopy head branch name to clipboardMay 26, 2022

+4-5

Commits

Commits on May 25, 2022

• [ fix ] compile-and-execute menu

  gallais

  committed
  5f58b35

  Copy full SHA for 5f58b35

• [ fix ] we can actually compile arbitrary expressions

  gallais

  committed
  433ceb4

  Copy full SHA for 433ceb4