Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | build-idris.nix | 2346 | log plain blame |
-rw-r--r-- | default.nix | 439 | log plain blame |
-rw-r--r-- | idris2-lsp.nix | 1569 | log plain blame |
-rw-r--r-- | idris2.nix | 3224 | log plain blame |
-rw-r--r-- | tests.nix | 1770 | log plain blame |
index : nixlib | |
Alyssa's collection of Nix expressions | Alyssa Ross |
about summary refs log tree commit diff |
Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | build-idris.nix | 2346 | log plain blame |
-rw-r--r-- | default.nix | 439 | log plain blame |
-rw-r--r-- | idris2-lsp.nix | 1569 | log plain blame |
-rw-r--r-- | idris2.nix | 3224 | log plain blame |
-rw-r--r-- | tests.nix | 1770 | log plain blame |