Skip to content

Improve buildIdris and expose the idris2-api via the Nix flake. (… #343

Improve buildIdris and expose the idris2-api via the Nix flake. (…

Improve buildIdris and expose the idris2-api via the Nix flake. (… #343