Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 64 | log plain blame |
-rw-r--r-- | .merlin | 58 | log plain blame |
-rw-r--r-- | .ocp-indent | 52 | log plain blame |
-rw-r--r-- | CHANGES.md | 71 | log plain blame |
-rw-r--r-- | LICENSE.md | 732 | log plain blame |
-rw-r--r-- | README.md | 798 | log plain blame |
-rw-r--r-- | _tags | 136 | log plain blame |
-rw-r--r-- | default.nix | 88 | log plain blame |
d--------- | doc | 111 | log plain |
-rw-r--r-- | example.log | 564 | log plain blame |
-rw-r--r-- | logbook.nix | 398 | log plain blame |
-rw-r--r-- | opam | 635 | log plain blame |
d--------- | pkg | 66 | log plain |
d--------- | src | 236 | log plain |