├── .gitignore ├── .ocamlformat ├── Makefile ├── README.md ├── dune-project ├── examples ├── bools.f ├── bools_via_sums.f ├── bools_with_existentials.f ├── equality.f ├── hoas.f ├── lists.f ├── nats.f ├── nested_types.f ├── pairs.f ├── simply-typed.f └── sums.f ├── src ├── .depend ├── bin │ ├── dune │ └── fomega.ml ├── core.ml ├── core.mli ├── dune ├── jsmain.ml ├── lexer.mll ├── parser.mly ├── process.ml ├── process.mli ├── runweb.ml ├── support.ml ├── support.mli ├── syntax.ml ├── syntax.mli └── web │ ├── columns.css │ ├── dune │ └── index.html └── test ├── dune └── examples.t /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/.ocamlformat -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/README.md -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/dune-project -------------------------------------------------------------------------------- /examples/bools.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/bools.f -------------------------------------------------------------------------------- /examples/bools_via_sums.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/bools_via_sums.f -------------------------------------------------------------------------------- /examples/bools_with_existentials.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/bools_with_existentials.f -------------------------------------------------------------------------------- /examples/equality.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/equality.f -------------------------------------------------------------------------------- /examples/hoas.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/hoas.f -------------------------------------------------------------------------------- /examples/lists.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/lists.f -------------------------------------------------------------------------------- /examples/nats.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/nats.f -------------------------------------------------------------------------------- /examples/nested_types.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/nested_types.f -------------------------------------------------------------------------------- /examples/pairs.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/pairs.f -------------------------------------------------------------------------------- /examples/simply-typed.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/simply-typed.f -------------------------------------------------------------------------------- /examples/sums.f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/examples/sums.f -------------------------------------------------------------------------------- /src/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/.depend -------------------------------------------------------------------------------- /src/bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/bin/dune -------------------------------------------------------------------------------- /src/bin/fomega.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/bin/fomega.ml -------------------------------------------------------------------------------- /src/core.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/core.ml -------------------------------------------------------------------------------- /src/core.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/core.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/dune -------------------------------------------------------------------------------- /src/jsmain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/jsmain.ml -------------------------------------------------------------------------------- /src/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/lexer.mll -------------------------------------------------------------------------------- /src/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/parser.mly -------------------------------------------------------------------------------- /src/process.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/process.ml -------------------------------------------------------------------------------- /src/process.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/process.mli -------------------------------------------------------------------------------- /src/runweb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/runweb.ml -------------------------------------------------------------------------------- /src/support.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/support.ml -------------------------------------------------------------------------------- /src/support.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/support.mli -------------------------------------------------------------------------------- /src/syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/syntax.ml -------------------------------------------------------------------------------- /src/syntax.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/syntax.mli -------------------------------------------------------------------------------- /src/web/columns.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/web/columns.css -------------------------------------------------------------------------------- /src/web/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/web/dune -------------------------------------------------------------------------------- /src/web/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/src/web/index.html -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/test/dune -------------------------------------------------------------------------------- /test/examples.t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/yallop/fomega/HEAD/test/examples.t --------------------------------------------------------------------------------