Skip to content

[ide-mode] Make (:interpret ":version" and ":ops") return output as string instead of S-expression.#3769

Draft
keram wants to merge 3 commits into
idris-lang:mainfrom
keram:ide-mode-interpret-ops
Draft

[ide-mode] Make (:interpret ":version" and ":ops") return output as string instead of S-expression.#3769
keram wants to merge 3 commits into
idris-lang:mainfrom
keram:ide-mode-interpret-ops

Commits

Commits on Apr 17, 2026

Commits on May 1, 2026