GitHub - modular-implicits/metaocaml-frex-implicits

frex: partially-static data as free extension of algebras

A MetaOCaml library for structured multi-stage programming using free extensions, described in the following paper:

      Partially static data as free extension of algebras
      Jeremy Yallop, Tamara von Glehn and Ohad Kammar
      ICFP 2018

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
.github/workflows		.github/workflows
lib		lib
test		test
.gitignore		.gitignore
Changes		Changes
LICENSE		LICENSE
META		META
Makefile		Makefile
README.md		README.md
_tags		_tags
myocamlbuild.ml		myocamlbuild.ml
opam		opam