SubtypedQuotedML

SubtypedQuotedML is an interpreter for an ML-like language that has

support for runtime program generation via quote/unquote (i.e. bracket/escape) syntax.
static typing with inference, let-polymorphism and subtyping.

You can learn more about SubtypedQuotedML from it's home page at http://srl.ozyegin.edu.tr/projects/subtypedQuotedML/ .

Installation

Default Make rule compiles SubtypedQuotedML. To compile and run, just run: make run.

Dependencies are OCaml 4.00, Make, sed.

Name		Name	Last commit message	Last commit date
Latest commit History 226 Commits
examples		examples
src		src
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md