Skip to content

Idris: add Idris 2 keywords, builtins, pragmas, and string interpolation

b239288
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Idris: add Idris 2 keywords, builtins, pragmas, and string interpolation #4063

Idris: add Idris 2 keywords, builtins, pragmas, and string interpolation
b239288
Select commit
Loading
Failed to load commit list.