| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README.md | 1077 | log plain blame |
| -rw-r--r-- | TODO.md | 100 | log plain blame |
| -rw-r--r-- | build-builtin-package.nix | 545 | log plain blame |
| -rw-r--r-- | build-idris-package.nix | 810 | log plain blame |
| -rw-r--r-- | default.nix | 1377 | log plain blame |
| -rw-r--r-- | httpclient.nix | 605 | log plain blame |
| -rw-r--r-- | lightyear.nix | 661 | log plain blame |
| -rw-r--r-- | with-packages.nix | 1037 | log plain blame |
| -rw-r--r-- | wl-pprint.nix | 712 | log plain blame |