Idris: add Idris 2 keywords, builtins, pragmas, and string interpolation#4063
Merged
DmitrySharabin merged 1 commit intoPrismJS:v2from Mar 26, 2026
Merged
Idris: add Idris 2 keywords, builtins, pragmas, and string interpolation#4063DmitrySharabin merged 1 commit intoPrismJS:v2from
DmitrySharabin merged 1 commit intoPrismJS:v2from
