Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .dir-locals.el | 255 | logplain |
-rw-r--r-- | .editorconfig | 222 | logplain |
-rw-r--r-- | .envrc | 59 | logplain |
-rw-r--r-- | .ghci | 76 | logplain |
-rw-r--r-- | .gitignore | 59 | logplain |
d--------- | Com | 122 | logplain |
d--------- | Miso / FFI | 30 | logplain |
-rw-r--r-- | README.md | 3456 | logplain |
d--------- | Run | 64 | logplain |
-rwxr-xr-x | bild | 184 | logplain |
-rw-r--r-- | default.nix | 4380 | logplain |
-rwxr-xr-x | ghci | 60 | logplain |
-rw-r--r-- | nixpkgs.nix | 204 | logplain |
-rwxr-xr-x | push | 229 | logplain |
-rwxr-xr-x | push-all | 307 | logplain |
-rwxr-xr-x | rise | 110 | logplain |
-rwxr-xr-x | serval | 127 | logplain |
-rwxr-xr-x | tidy | 36 | logplain |