Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | API.odocl | 94 | logplain |
-rw-r--r-- | INSTALL.txt | 962 | logplain |
-rw-r--r-- | LICENSE.txt | 8621 | logplain |
-rw-r--r-- | META | 346 | logplain |
-rw-r--r-- | Makefile | 1425 | logplain |
-rw-r--r-- | README.md | 931 | logplain |
-rw-r--r-- | _oasis | 3439 | logplain |
-rw-r--r-- | _tags | 2261 | logplain |
-rw-r--r-- | benchmark.ml | 23787 | logplain |
-rw-r--r-- | benchmark.mli | 9794 | logplain |
-rw-r--r-- | benchmark.mllib | 94 | logplain |
d--------- | debian | 485 | logplain |
d--------- | examples | 384 | logplain |
-rw-r--r-- | myocamlbuild.ml | 13880 | logplain |
-rw-r--r-- | setup.ml | 168553 | logplain |
d--------- | tests | 39 | logplain |