Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .dir-locals.el | 255 | logplain |
-rw-r--r-- | .editorconfig | 222 | logplain |
-rw-r--r-- | .envrc | 103 | logplain |
-rw-r--r-- | .ghci | 369 | logplain |
-rw-r--r-- | .gitignore | 59 | logplain |
d--------- | Com | 122 | logplain |
d--------- | Miso / FFI | 30 | logplain |
-rw-r--r-- | README.md | 2761 | logplain |
d--------- | Run / Que | 30 | logplain |
-rwxr-xr-x | bild | 255 | logplain |
-rw-r--r-- | biz.nix | 3035 | logplain |
-rw-r--r-- | default.nix | 2882 | logplain |
-rw-r--r-- | deps.nix | 576 | logplain |
-rw-r--r-- | nixpkgs.nix | 204 | logplain |
-rw-r--r-- | overlays.nix | 1303 | logplain |
-rwxr-xr-x | push | 229 | logplain |
-rwxr-xr-x | push-all | 217 | logplain |
-rwxr-xr-x | repl | 123 | logplain |