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 | 50 | logplain |
d--------- | Com | 122 | logplain |
d--------- | Miso / FFI | 30 | logplain |
-rw-r--r-- | README.md | 3242 | logplain |
-rwxr-xr-x | bild | 170 | logplain |
-rw-r--r-- | default.nix | 3585 | logplain |
-rwxr-xr-x | ghci | 60 | logplain |
-rw-r--r-- | nixpkgs.nix | 202 | logplain |
-rwxr-xr-x | push | 223 | logplain |
-rwxr-xr-x | rise | 110 | logplain |
-rwxr-xr-x | tidy | 36 | logplain |