Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 143 | logplain |
-rw-r--r-- | .travis.yml | 358 | logplain |
-rw-r--r-- | Dockerfile | 679 | logplain |
-rw-r--r-- | LICENSE | 32472 | logplain |
-rw-r--r-- | Makefile | 586 | logplain |
-rw-r--r-- | README.org | 1398 | logplain |
d--------- | debian | 521 | logplain |
-rw-r--r-- | dune-project | 16 | logplain |
-rw-r--r-- | morsmall.opam | 681 | logplain |
d--------- | src | 374 | logplain |
d--------- | tests | 147 | logplain |