Idris: add Idris 2 keywords, builtins, pragmas, and string interpolation#4063
Open
bio-aeon wants to merge 1 commit intoPrismJS:v2from
Open
Idris: add Idris 2 keywords, builtins, pragmas, and string interpolation#4063bio-aeon wants to merge 1 commit intoPrismJS:v2from
bio-aeon wants to merge 1 commit intoPrismJS:v2from
