├── .github └── workflows │ └── test.yml ├── .gitignore ├── Changes ├── LICENSE ├── META ├── Makefile ├── README.md ├── _tags ├── lib ├── abelian_groups.ml ├── abelian_groups.mli ├── algebra.ml ├── aux.ml ├── aux.mli ├── commutative_monoids.ml ├── commutative_monoids.mli ├── commutative_rings.ml ├── commutative_rings.mli ├── monads.ml ├── monoids.ml ├── monoids.mli ├── ps.mllib ├── sets.ml └── sets.mli ├── myocamlbuild.ml ├── opam └── test ├── any_example.ml ├── dot_product.ml ├── examples.ml ├── printf_benchmark.ml └── printf_example.ml /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | *.native 3 | *.byte 4 | -------------------------------------------------------------------------------- /Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/Changes -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/LICENSE -------------------------------------------------------------------------------- /META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/META -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/README.md -------------------------------------------------------------------------------- /_tags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/_tags -------------------------------------------------------------------------------- /lib/abelian_groups.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/abelian_groups.ml -------------------------------------------------------------------------------- /lib/abelian_groups.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/abelian_groups.mli -------------------------------------------------------------------------------- /lib/algebra.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/algebra.ml -------------------------------------------------------------------------------- /lib/aux.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/aux.ml -------------------------------------------------------------------------------- /lib/aux.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/aux.mli -------------------------------------------------------------------------------- /lib/commutative_monoids.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/commutative_monoids.ml -------------------------------------------------------------------------------- /lib/commutative_monoids.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/commutative_monoids.mli -------------------------------------------------------------------------------- /lib/commutative_rings.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/commutative_rings.ml -------------------------------------------------------------------------------- /lib/commutative_rings.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/commutative_rings.mli -------------------------------------------------------------------------------- /lib/monads.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/monads.ml -------------------------------------------------------------------------------- /lib/monoids.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/monoids.ml -------------------------------------------------------------------------------- /lib/monoids.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/monoids.mli -------------------------------------------------------------------------------- /lib/ps.mllib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/ps.mllib -------------------------------------------------------------------------------- /lib/sets.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/sets.ml -------------------------------------------------------------------------------- /lib/sets.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/lib/sets.mli -------------------------------------------------------------------------------- /myocamlbuild.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/myocamlbuild.ml -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/opam -------------------------------------------------------------------------------- /test/any_example.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/test/any_example.ml -------------------------------------------------------------------------------- /test/dot_product.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/test/dot_product.ml -------------------------------------------------------------------------------- /test/examples.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/test/examples.ml -------------------------------------------------------------------------------- /test/printf_benchmark.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/test/printf_benchmark.ml -------------------------------------------------------------------------------- /test/printf_example.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/frex-project/metaocaml-frex/HEAD/test/printf_example.ml --------------------------------------------------------------------------------