Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .dir-locals.el | 197 | 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 | 79 | logplain |
-rw-r--r-- | README.md | 2333 | logplain |
-rwxr-xr-x | bild | 50 | logplain |
-rw-r--r-- | default.nix | 3016 | 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 |