Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .dir-locals.el | 381 | logplain |
-rw-r--r-- | .editorconfig | 246 | logplain |
-rw-r--r-- | .envrc | 103 | logplain |
-rw-r--r-- | .ghci | 369 | logplain |
-rw-r--r-- | .gitignore | 64 | logplain |
d--------- | Com | 122 | logplain |
d--------- | Miso / FFI | 30 | logplain |
-rw-r--r-- | README.md | 2692 | logplain |
d--------- | Run / Que | 30 | logplain |
-rwxr-xr-x | bild | 255 | logplain |
-rw-r--r-- | biz.nix | 3035 | logplain |
-rw-r--r-- | default.nix | 2707 | logplain |
-rw-r--r-- | deps.nix | 576 | logplain |
-rw-r--r-- | nixpkgs.nix | 204 | logplain |
-rw-r--r-- | overlay.nix | 2300 | logplain |
-rwxr-xr-x | push | 229 | logplain |
-rwxr-xr-x | push-all | 197 | logplain |
-rwxr-xr-x | repl | 123 | logplain |