├── .gitignore ├── LICENSE ├── META.in ├── Makefile ├── README.md ├── VERSION ├── demo.ml ├── dum.ml ├── dum.mli ├── dum.opam ├── dune └── dune-project /.gitignore: -------------------------------------------------------------------------------- 1 | _build/ 2 | _opam/ 3 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mjambon/dum/HEAD/LICENSE -------------------------------------------------------------------------------- /META.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mjambon/dum/HEAD/META.in -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mjambon/dum/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mjambon/dum/HEAD/README.md -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 1.0.0 2 | -------------------------------------------------------------------------------- /demo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mjambon/dum/HEAD/demo.ml -------------------------------------------------------------------------------- /dum.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mjambon/dum/HEAD/dum.ml -------------------------------------------------------------------------------- /dum.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mjambon/dum/HEAD/dum.mli -------------------------------------------------------------------------------- /dum.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mjambon/dum/HEAD/dum.opam -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mjambon/dum/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mjambon/dum/HEAD/dune-project --------------------------------------------------------------------------------