| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | build-idris.nix | 2596 | log plain blame |
| -rw-r--r-- | default.nix | 439 | log plain blame |
| -rw-r--r-- | idris2-lsp.nix | 1603 | log plain blame |
| -rw-r--r-- | idris2.nix | 3252 | 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 | 2596 | log plain blame |
| -rw-r--r-- | default.nix | 439 | log plain blame |
| -rw-r--r-- | idris2-lsp.nix | 1603 | log plain blame |
| -rw-r--r-- | idris2.nix | 3252 | log plain blame |
| -rw-r--r-- | tests.nix | 1770 | log plain blame |