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 | 472 | log plain blame |
-rw-r--r-- | build-idris-package.nix | 987 | log plain blame |
-rw-r--r-- | default.nix | 1721 | log plain blame |
-rw-r--r-- | httpclient.nix | 677 | log plain blame |
-rw-r--r-- | idris-wrapper.nix | 395 | log plain blame |
-rw-r--r-- | lightyear.nix | 660 | log plain blame |
-rw-r--r-- | specdris.nix | 673 | log plain blame |
-rw-r--r-- | with-packages.nix | 433 | log plain blame |
-rw-r--r-- | wl-pprint.nix | 717 | log plain blame |