├── .github └── workflows │ └── workflow.yml ├── .gitignore ├── .gitmodules ├── .ocaml-gh ├── .ocamlformat ├── .prettierrc ├── LICENSE.md ├── README.md ├── SYNTAX.md ├── docs ├── .gitignore ├── cm-utils.js ├── fom-alternatives.js ├── fom-cm-mode.js ├── fom-cm-util.js ├── index.css ├── index.html ├── prelude.js ├── setup.js ├── util.js ├── worker-main.js └── worker.js ├── dune ├── dune-project ├── examples ├── aggregate-syntax.fom ├── aggregate-syntax.fomi ├── aggregate-syntax.js ├── aggregate-syntax.out ├── bounded-subtyping-of-counters.fom ├── bounded-subtyping-of-counters.fomi ├── bounded-subtyping-of-counters.js ├── bounded-subtyping-of-counters.out ├── effect-reader.fom ├── effect-reader.fomi ├── effect-reader.js ├── effect-reader.out ├── equality-witnesses.fom ├── equality-witnesses.fomi ├── equality-witnesses.js ├── equality-witnesses.out ├── equirecursive-fixpoint-combinator.fom ├── equirecursive-fixpoint-combinator.fomi ├── equirecursive-fixpoint-combinator.js ├── equirecursive-fixpoint-combinator.out ├── errors │ ├── exit.fom │ ├── exit.out │ ├── nested.fom │ ├── nested.out │ ├── test-local-scoping.fom │ └── test-local-scoping.out ├── f-omega-self-interpreter.fom ├── f-omega-self-interpreter.fomi ├── f-omega-self-interpreter.js ├── f-omega-self-interpreter.out ├── fact.fom ├── fact.fomi ├── fact.js ├── fact.out ├── fib.fom ├── fib.fomi ├── fib.js ├── fib.out ├── finally-tagless.fom ├── finally-tagless.fomi ├── finally-tagless.js ├── finally-tagless.out ├── first-order-and-higher-kinded-lists.fom ├── first-order-and-higher-kinded-lists.fomi ├── first-order-and-higher-kinded-lists.js ├── first-order-and-higher-kinded-lists.out ├── generic-folds.fom ├── generic-folds.fomi ├── generic-folds.js ├── generic-folds.out ├── graph-library.fom ├── graph-library.fomi ├── graph-library.js ├── graph-library.out ├── hmap-using-universal-embedding.fom ├── hmap-using-universal-embedding.fomi ├── hmap-using-universal-embedding.js ├── hmap-using-universal-embedding.out ├── hoas-gadt.fom ├── hoas-gadt.fomi ├── hoas-gadt.js ├── hoas-gadt.out ├── lib │ ├── algebras.fom │ ├── algebras.fomd │ ├── algebras.fomt │ ├── array.fom │ ├── array.fomd │ ├── array.fomt │ ├── bool.fom │ ├── bool.fomt │ ├── console.fom │ ├── dispenser.fom │ ├── dispenser.fomd │ ├── dispenser.fomt │ ├── eq.fom │ ├── eq.fomd │ ├── eq.fomt │ ├── int.fom │ ├── int.fomt │ ├── list.fom │ ├── list.fomt │ ├── map.fom │ ├── map.fomd │ ├── map.fomt │ ├── opt.fom │ ├── queue.fom │ ├── queue.fomt │ ├── ref.fom │ ├── ref.fomd │ ├── ref.fomt │ ├── stack.fom │ ├── stack.fomt │ ├── string.fom │ ├── string.fomt │ ├── target.fom │ ├── types.fomd │ ├── univ.fom │ ├── univ.fomd │ └── univ.fomt ├── list-encoding.fom ├── list-encoding.fomi ├── list-encoding.js ├── list-encoding.out ├── list.fom ├── list.fomi ├── list.js ├── list.out ├── lists-of-various-lengths.fom ├── lists-of-various-lengths.fomi ├── lists-of-various-lengths.js ├── lists-of-various-lengths.out ├── nat-gadt-using-eq-witnesses.fom ├── nat-gadt-using-eq-witnesses.fomi ├── nat-gadt-using-eq-witnesses.js ├── nat-gadt-using-eq-witnesses.out ├── nat-gadt.fom ├── nat-gadt.fomi ├── nat-gadt.js ├── nat-gadt.out ├── object-oriented-sets.fom ├── object-oriented-sets.fomi ├── object-oriented-sets.js ├── object-oriented-sets.out ├── pick-apple.fom ├── pick-apple.fomi ├── pick-apple.js ├── pick-apple.out ├── polymorphic-container-without-pretense.fom ├── polymorphic-container-without-pretense.fomi ├── polymorphic-container-without-pretense.js ├── polymorphic-container-without-pretense.out ├── polymorphic-container-without-recursion.fom ├── polymorphic-container-without-recursion.fomi ├── polymorphic-container-without-recursion.js ├── polymorphic-container-without-recursion.out ├── simple-push-stream.fom ├── simple-push-stream.fomi ├── simple-push-stream.js ├── simple-push-stream.out ├── ski-combinators.fom ├── ski-combinators.fomi ├── ski-combinators.js ├── ski-combinators.out ├── stack-adt.fom ├── stack-adt.fomi ├── stack-adt.js ├── stack-adt.out ├── stream-fusion.fom ├── stream-fusion.fomi ├── stream-fusion.js ├── stream-fusion.out ├── template-strings.fom ├── template-strings.fomi ├── template-strings.js ├── template-strings.out ├── type-gadt-using-eq-witnesses.fom ├── type-gadt-using-eq-witnesses.fomi ├── type-gadt-using-eq-witnesses.js ├── type-gadt-using-eq-witnesses.out ├── type-indexed-trie.fom ├── type-indexed-trie.fomi ├── type-indexed-trie.js ├── type-indexed-trie.out ├── type-level-programming.fom ├── type-level-programming.fomi ├── type-level-programming.js └── type-level-programming.out ├── opam ├── regression ├── 123.fom ├── 123.fomi ├── 123.js ├── 123.out ├── let-hoisting.fom ├── let-hoisting.fomi ├── let-hoisting.js └── let-hoisting.out └── src ├── main ├── FomAST │ ├── FomAST.ml │ ├── FomAST.mli │ └── dune ├── FomAnnot │ ├── FomAnnot.ml │ └── dune ├── FomCST │ ├── FomCST.ml │ └── dune ├── FomChecker │ ├── Exp.ml │ ├── FomChecker.ml │ ├── Kind.ml │ ├── Label.ml │ ├── LabelMap.ml │ ├── Row.ml │ ├── Typ.ml │ └── dune ├── FomCommand │ ├── FomCommand.ml │ └── dune ├── FomDiag │ ├── Diagnostic.ml │ ├── Diagnostic.mli │ ├── FomDiag.ml │ ├── Typ.ml │ └── dune ├── FomElab │ ├── FomElab.ml │ ├── FomElab.mli │ └── dune ├── FomEnv │ ├── FomEnv.ml │ ├── FomEnv.mli │ └── dune ├── FomError │ ├── Error.ml │ ├── FomError.ml │ └── dune ├── FomPP │ ├── FomPP.ml │ ├── FomPP.mli │ └── dune ├── FomPPrint │ ├── FomPPrint.ml │ └── dune ├── FomParser │ ├── Buffer.ml │ ├── FomParser.ml │ ├── FomParser.mli │ ├── Grammar.mly │ ├── LexTrn.ml │ ├── LexTrn.mli │ ├── Lexer.ml │ ├── Offside.ml │ ├── Parser.ml │ ├── Token.ml │ ├── Tokenizer.ml │ └── dune ├── FomSandbox │ ├── FomSandbox.ml │ └── dune ├── FomSource │ ├── FomSource.ml │ ├── Id.ml │ ├── Id.mli │ ├── Loc.ml │ ├── Loc.mli │ └── dune ├── FomToJs │ ├── FomToJs.ml │ ├── FomToJs.mli │ ├── FomToLam.ml │ ├── Js.ml │ ├── Js.mli │ ├── Lam.ml │ ├── LamCore.ml │ ├── LamHoist.ml │ ├── LamSimplify.ml │ ├── LamToJs.ml │ └── dune ├── FomToJsC │ ├── FomToJsC.ml │ ├── FomToJsC.mli │ └── dune └── FomToJsRT │ ├── FomToJsRT.ml │ └── dune └── test ├── FomAST ├── FomASTTest.ml └── dune ├── FomChecker ├── FomCheckerTest.ml └── dune ├── FomElab ├── FomElabTest.ml └── dune ├── FomParser ├── FomParserTest.ml └── dune ├── FomSource ├── FomSourceTest.ml └── dune └── FomToJs ├── FomToJsTest.ml └── dune /.github/workflows/workflow.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/.github/workflows/workflow.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/.gitmodules -------------------------------------------------------------------------------- /.ocaml-gh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/.ocaml-gh -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/.ocamlformat -------------------------------------------------------------------------------- /.prettierrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/.prettierrc -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/README.md -------------------------------------------------------------------------------- /SYNTAX.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/SYNTAX.md -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/.gitignore -------------------------------------------------------------------------------- /docs/cm-utils.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/cm-utils.js -------------------------------------------------------------------------------- /docs/fom-alternatives.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/fom-alternatives.js -------------------------------------------------------------------------------- /docs/fom-cm-mode.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/fom-cm-mode.js -------------------------------------------------------------------------------- /docs/fom-cm-util.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/fom-cm-util.js -------------------------------------------------------------------------------- /docs/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/index.css -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/index.html -------------------------------------------------------------------------------- /docs/prelude.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/prelude.js -------------------------------------------------------------------------------- /docs/setup.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/setup.js -------------------------------------------------------------------------------- /docs/util.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/util.js -------------------------------------------------------------------------------- /docs/worker-main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/worker-main.js -------------------------------------------------------------------------------- /docs/worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/docs/worker.js -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- 1 | (dirs src) 2 | -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/dune-project -------------------------------------------------------------------------------- /examples/aggregate-syntax.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/aggregate-syntax.fom -------------------------------------------------------------------------------- /examples/aggregate-syntax.fomi: -------------------------------------------------------------------------------- 1 | () 2 | -------------------------------------------------------------------------------- /examples/aggregate-syntax.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/aggregate-syntax.js -------------------------------------------------------------------------------- /examples/aggregate-syntax.out: -------------------------------------------------------------------------------- 1 | () 2 | -------------------------------------------------------------------------------- /examples/bounded-subtyping-of-counters.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/bounded-subtyping-of-counters.fom -------------------------------------------------------------------------------- /examples/bounded-subtyping-of-counters.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/bounded-subtyping-of-counters.fomi -------------------------------------------------------------------------------- /examples/bounded-subtyping-of-counters.js: -------------------------------------------------------------------------------- 1 | 'use strict' 2 | ;({four: 4, two: 2}) 3 | -------------------------------------------------------------------------------- /examples/bounded-subtyping-of-counters.out: -------------------------------------------------------------------------------- 1 | {four = 4, two = 2} 2 | -------------------------------------------------------------------------------- /examples/effect-reader.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/effect-reader.fom -------------------------------------------------------------------------------- /examples/effect-reader.fomi: -------------------------------------------------------------------------------- 1 | int 2 | -------------------------------------------------------------------------------- /examples/effect-reader.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/effect-reader.js -------------------------------------------------------------------------------- /examples/effect-reader.out: -------------------------------------------------------------------------------- 1 | 55 2 | -------------------------------------------------------------------------------- /examples/equality-witnesses.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/equality-witnesses.fom -------------------------------------------------------------------------------- /examples/equality-witnesses.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/equality-witnesses.fomi -------------------------------------------------------------------------------- /examples/equality-witnesses.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/equality-witnesses.js -------------------------------------------------------------------------------- /examples/equality-witnesses.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/equality-witnesses.out -------------------------------------------------------------------------------- /examples/equirecursive-fixpoint-combinator.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/equirecursive-fixpoint-combinator.fom -------------------------------------------------------------------------------- /examples/equirecursive-fixpoint-combinator.fomi: -------------------------------------------------------------------------------- 1 | int 2 | -------------------------------------------------------------------------------- /examples/equirecursive-fixpoint-combinator.js: -------------------------------------------------------------------------------- 1 | 'use strict' 2 | 120 3 | -------------------------------------------------------------------------------- /examples/equirecursive-fixpoint-combinator.out: -------------------------------------------------------------------------------- 1 | 120 2 | -------------------------------------------------------------------------------- /examples/errors/exit.fom: -------------------------------------------------------------------------------- 1 | target«impure ()» "process.exit(1)" 2 | ▷ keep«()» 3 | -------------------------------------------------------------------------------- /examples/errors/exit.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/errors/exit.out -------------------------------------------------------------------------------- /examples/errors/nested.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/errors/nested.fom -------------------------------------------------------------------------------- /examples/errors/nested.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/errors/nested.out -------------------------------------------------------------------------------- /examples/errors/test-local-scoping.fom: -------------------------------------------------------------------------------- 1 | include "../lib/univ.fomd" 2 | 3 | type opt_should_not_be_accessible = opt 4 | 5 | () 6 | -------------------------------------------------------------------------------- /examples/errors/test-local-scoping.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/errors/test-local-scoping.out -------------------------------------------------------------------------------- /examples/f-omega-self-interpreter.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/f-omega-self-interpreter.fom -------------------------------------------------------------------------------- /examples/f-omega-self-interpreter.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/f-omega-self-interpreter.fomi -------------------------------------------------------------------------------- /examples/f-omega-self-interpreter.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/f-omega-self-interpreter.js -------------------------------------------------------------------------------- /examples/f-omega-self-interpreter.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/f-omega-self-interpreter.out -------------------------------------------------------------------------------- /examples/fact.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/fact.fom -------------------------------------------------------------------------------- /examples/fact.fomi: -------------------------------------------------------------------------------- 1 | int 2 | -------------------------------------------------------------------------------- /examples/fact.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/fact.js -------------------------------------------------------------------------------- /examples/fact.out: -------------------------------------------------------------------------------- 1 | 120 2 | -------------------------------------------------------------------------------- /examples/fib.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/fib.fom -------------------------------------------------------------------------------- /examples/fib.fomi: -------------------------------------------------------------------------------- 1 | int 2 | -------------------------------------------------------------------------------- /examples/fib.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/fib.js -------------------------------------------------------------------------------- /examples/fib.out: -------------------------------------------------------------------------------- 1 | 55 2 | -------------------------------------------------------------------------------- /examples/finally-tagless.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/finally-tagless.fom -------------------------------------------------------------------------------- /examples/finally-tagless.fomi: -------------------------------------------------------------------------------- 1 | int 2 | -------------------------------------------------------------------------------- /examples/finally-tagless.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/finally-tagless.js -------------------------------------------------------------------------------- /examples/finally-tagless.out: -------------------------------------------------------------------------------- 1 | 2048 2 | -------------------------------------------------------------------------------- /examples/first-order-and-higher-kinded-lists.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/first-order-and-higher-kinded-lists.fom -------------------------------------------------------------------------------- /examples/first-order-and-higher-kinded-lists.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/first-order-and-higher-kinded-lists.fomi -------------------------------------------------------------------------------- /examples/first-order-and-higher-kinded-lists.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/first-order-and-higher-kinded-lists.js -------------------------------------------------------------------------------- /examples/first-order-and-higher-kinded-lists.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/first-order-and-higher-kinded-lists.out -------------------------------------------------------------------------------- /examples/generic-folds.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/generic-folds.fom -------------------------------------------------------------------------------- /examples/generic-folds.fomi: -------------------------------------------------------------------------------- 1 | μτ.'Nil | 'Cons (string, τ) 2 | -------------------------------------------------------------------------------- /examples/generic-folds.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/generic-folds.js -------------------------------------------------------------------------------- /examples/generic-folds.out: -------------------------------------------------------------------------------- 1 | ["F", "y"] 2 | -------------------------------------------------------------------------------- /examples/graph-library.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/graph-library.fom -------------------------------------------------------------------------------- /examples/graph-library.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/graph-library.fomi -------------------------------------------------------------------------------- /examples/graph-library.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/graph-library.js -------------------------------------------------------------------------------- /examples/graph-library.out: -------------------------------------------------------------------------------- 1 | λ_ 2 | -------------------------------------------------------------------------------- /examples/hmap-using-universal-embedding.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/hmap-using-universal-embedding.fom -------------------------------------------------------------------------------- /examples/hmap-using-universal-embedding.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/hmap-using-universal-embedding.fomi -------------------------------------------------------------------------------- /examples/hmap-using-universal-embedding.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/hmap-using-universal-embedding.js -------------------------------------------------------------------------------- /examples/hmap-using-universal-embedding.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/hmap-using-universal-embedding.out -------------------------------------------------------------------------------- /examples/hoas-gadt.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/hoas-gadt.fom -------------------------------------------------------------------------------- /examples/hoas-gadt.fomi: -------------------------------------------------------------------------------- 1 | int 2 | -------------------------------------------------------------------------------- /examples/hoas-gadt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/hoas-gadt.js -------------------------------------------------------------------------------- /examples/hoas-gadt.out: -------------------------------------------------------------------------------- 1 | 120 2 | -------------------------------------------------------------------------------- /examples/lib/algebras.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/algebras.fom -------------------------------------------------------------------------------- /examples/lib/algebras.fomd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/algebras.fomd -------------------------------------------------------------------------------- /examples/lib/algebras.fomt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/algebras.fomt -------------------------------------------------------------------------------- /examples/lib/array.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/array.fom -------------------------------------------------------------------------------- /examples/lib/array.fomd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/array.fomd -------------------------------------------------------------------------------- /examples/lib/array.fomt: -------------------------------------------------------------------------------- 1 | include "array" 2 | 3 | ∃(Array) 4 | -------------------------------------------------------------------------------- /examples/lib/bool.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/bool.fom -------------------------------------------------------------------------------- /examples/lib/bool.fomt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/bool.fomt -------------------------------------------------------------------------------- /examples/lib/console.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/console.fom -------------------------------------------------------------------------------- /examples/lib/dispenser.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/dispenser.fom -------------------------------------------------------------------------------- /examples/lib/dispenser.fomd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/dispenser.fomd -------------------------------------------------------------------------------- /examples/lib/dispenser.fomt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/dispenser.fomt -------------------------------------------------------------------------------- /examples/lib/eq.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/eq.fom -------------------------------------------------------------------------------- /examples/lib/eq.fomd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/eq.fomd -------------------------------------------------------------------------------- /examples/lib/eq.fomt: -------------------------------------------------------------------------------- 1 | include "eq" 2 | 3 | ∃(Eq) 4 | -------------------------------------------------------------------------------- /examples/lib/int.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/int.fom -------------------------------------------------------------------------------- /examples/lib/int.fomt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/int.fomt -------------------------------------------------------------------------------- /examples/lib/list.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/list.fom -------------------------------------------------------------------------------- /examples/lib/list.fomt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/list.fomt -------------------------------------------------------------------------------- /examples/lib/map.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/map.fom -------------------------------------------------------------------------------- /examples/lib/map.fomd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/map.fomd -------------------------------------------------------------------------------- /examples/lib/map.fomt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/map.fomt -------------------------------------------------------------------------------- /examples/lib/opt.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/opt.fom -------------------------------------------------------------------------------- /examples/lib/queue.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/queue.fom -------------------------------------------------------------------------------- /examples/lib/queue.fomt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/queue.fomt -------------------------------------------------------------------------------- /examples/lib/ref.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/ref.fom -------------------------------------------------------------------------------- /examples/lib/ref.fomd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/ref.fomd -------------------------------------------------------------------------------- /examples/lib/ref.fomt: -------------------------------------------------------------------------------- 1 | include "ref" 2 | 3 | ∃(Ref) 4 | -------------------------------------------------------------------------------- /examples/lib/stack.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/stack.fom -------------------------------------------------------------------------------- /examples/lib/stack.fomt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/stack.fomt -------------------------------------------------------------------------------- /examples/lib/string.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/string.fom -------------------------------------------------------------------------------- /examples/lib/string.fomt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/string.fomt -------------------------------------------------------------------------------- /examples/lib/target.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/target.fom -------------------------------------------------------------------------------- /examples/lib/types.fomd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/types.fomd -------------------------------------------------------------------------------- /examples/lib/univ.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/univ.fom -------------------------------------------------------------------------------- /examples/lib/univ.fomd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lib/univ.fomd -------------------------------------------------------------------------------- /examples/lib/univ.fomt: -------------------------------------------------------------------------------- 1 | include "univ" 2 | 3 | ∃(Univ) 4 | -------------------------------------------------------------------------------- /examples/list-encoding.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/list-encoding.fom -------------------------------------------------------------------------------- /examples/list-encoding.fomi: -------------------------------------------------------------------------------- 1 | int 2 | -------------------------------------------------------------------------------- /examples/list-encoding.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/list-encoding.js -------------------------------------------------------------------------------- /examples/list-encoding.out: -------------------------------------------------------------------------------- 1 | 9 2 | -------------------------------------------------------------------------------- /examples/list.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/list.fom -------------------------------------------------------------------------------- /examples/list.fomi: -------------------------------------------------------------------------------- 1 | (μlist:* → *.λα.'Nil | 'Cons (α, list α)) string 2 | -------------------------------------------------------------------------------- /examples/list.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/list.js -------------------------------------------------------------------------------- /examples/list.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/list.out -------------------------------------------------------------------------------- /examples/lists-of-various-lengths.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lists-of-various-lengths.fom -------------------------------------------------------------------------------- /examples/lists-of-various-lengths.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lists-of-various-lengths.fomi -------------------------------------------------------------------------------- /examples/lists-of-various-lengths.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lists-of-various-lengths.js -------------------------------------------------------------------------------- /examples/lists-of-various-lengths.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/lists-of-various-lengths.out -------------------------------------------------------------------------------- /examples/nat-gadt-using-eq-witnesses.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/nat-gadt-using-eq-witnesses.fom -------------------------------------------------------------------------------- /examples/nat-gadt-using-eq-witnesses.fomi: -------------------------------------------------------------------------------- 1 | int 2 | -------------------------------------------------------------------------------- /examples/nat-gadt-using-eq-witnesses.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/nat-gadt-using-eq-witnesses.js -------------------------------------------------------------------------------- /examples/nat-gadt-using-eq-witnesses.out: -------------------------------------------------------------------------------- 1 | 10 2 | -------------------------------------------------------------------------------- /examples/nat-gadt.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/nat-gadt.fom -------------------------------------------------------------------------------- /examples/nat-gadt.fomi: -------------------------------------------------------------------------------- 1 | int 2 | -------------------------------------------------------------------------------- /examples/nat-gadt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/nat-gadt.js -------------------------------------------------------------------------------- /examples/nat-gadt.out: -------------------------------------------------------------------------------- 1 | 10 2 | -------------------------------------------------------------------------------- /examples/object-oriented-sets.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/object-oriented-sets.fom -------------------------------------------------------------------------------- /examples/object-oriented-sets.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/object-oriented-sets.fomi -------------------------------------------------------------------------------- /examples/object-oriented-sets.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/object-oriented-sets.js -------------------------------------------------------------------------------- /examples/object-oriented-sets.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/object-oriented-sets.out -------------------------------------------------------------------------------- /examples/pick-apple.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/pick-apple.fom -------------------------------------------------------------------------------- /examples/pick-apple.fomi: -------------------------------------------------------------------------------- 1 | {apple: int} 2 | -------------------------------------------------------------------------------- /examples/pick-apple.js: -------------------------------------------------------------------------------- 1 | 'use strict' 2 | ;({apple: 101}) 3 | -------------------------------------------------------------------------------- /examples/pick-apple.out: -------------------------------------------------------------------------------- 1 | {apple = 101} 2 | -------------------------------------------------------------------------------- /examples/polymorphic-container-without-pretense.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/polymorphic-container-without-pretense.fom -------------------------------------------------------------------------------- /examples/polymorphic-container-without-pretense.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/polymorphic-container-without-pretense.fomi -------------------------------------------------------------------------------- /examples/polymorphic-container-without-pretense.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/polymorphic-container-without-pretense.js -------------------------------------------------------------------------------- /examples/polymorphic-container-without-pretense.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/polymorphic-container-without-pretense.out -------------------------------------------------------------------------------- /examples/polymorphic-container-without-recursion.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/polymorphic-container-without-recursion.fom -------------------------------------------------------------------------------- /examples/polymorphic-container-without-recursion.fomi: -------------------------------------------------------------------------------- 1 | string 2 | -------------------------------------------------------------------------------- /examples/polymorphic-container-without-recursion.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/polymorphic-container-without-recursion.js -------------------------------------------------------------------------------- /examples/polymorphic-container-without-recursion.out: -------------------------------------------------------------------------------- 1 | "101" 2 | -------------------------------------------------------------------------------- /examples/simple-push-stream.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/simple-push-stream.fom -------------------------------------------------------------------------------- /examples/simple-push-stream.fomi: -------------------------------------------------------------------------------- 1 | int 2 | -------------------------------------------------------------------------------- /examples/simple-push-stream.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/simple-push-stream.js -------------------------------------------------------------------------------- /examples/simple-push-stream.out: -------------------------------------------------------------------------------- 1 | 165 2 | -------------------------------------------------------------------------------- /examples/ski-combinators.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/ski-combinators.fom -------------------------------------------------------------------------------- /examples/ski-combinators.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/ski-combinators.fomi -------------------------------------------------------------------------------- /examples/ski-combinators.js: -------------------------------------------------------------------------------- 1 | 'use strict' 2 | z => z 3 | -------------------------------------------------------------------------------- /examples/ski-combinators.out: -------------------------------------------------------------------------------- 1 | λ_ 2 | -------------------------------------------------------------------------------- /examples/stack-adt.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/stack-adt.fom -------------------------------------------------------------------------------- /examples/stack-adt.fomi: -------------------------------------------------------------------------------- 1 | (μlist:* → *.λα.'Nil | 'Cons (α, list α)) int 2 | -------------------------------------------------------------------------------- /examples/stack-adt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/stack-adt.js -------------------------------------------------------------------------------- /examples/stack-adt.out: -------------------------------------------------------------------------------- 1 | [5, 1, 3] 2 | -------------------------------------------------------------------------------- /examples/stream-fusion.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/stream-fusion.fom -------------------------------------------------------------------------------- /examples/stream-fusion.fomi: -------------------------------------------------------------------------------- 1 | (μlist:* → *.λα.'Nil | 'Cons (α, list α)) int 2 | -------------------------------------------------------------------------------- /examples/stream-fusion.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/stream-fusion.js -------------------------------------------------------------------------------- /examples/stream-fusion.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/stream-fusion.out -------------------------------------------------------------------------------- /examples/template-strings.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/template-strings.fom -------------------------------------------------------------------------------- /examples/template-strings.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/template-strings.fomi -------------------------------------------------------------------------------- /examples/template-strings.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/template-strings.js -------------------------------------------------------------------------------- /examples/template-strings.out: -------------------------------------------------------------------------------- 1 | {sql = "INSERT INTO language VALUES (?, ?)", args = ["template strings", "experimental"]} 2 | -------------------------------------------------------------------------------- /examples/type-gadt-using-eq-witnesses.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/type-gadt-using-eq-witnesses.fom -------------------------------------------------------------------------------- /examples/type-gadt-using-eq-witnesses.fomi: -------------------------------------------------------------------------------- 1 | string 2 | -------------------------------------------------------------------------------- /examples/type-gadt-using-eq-witnesses.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/type-gadt-using-eq-witnesses.js -------------------------------------------------------------------------------- /examples/type-gadt-using-eq-witnesses.out: -------------------------------------------------------------------------------- 1 | "(false, 'In1(\"foo\"))" 2 | -------------------------------------------------------------------------------- /examples/type-indexed-trie.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/type-indexed-trie.fom -------------------------------------------------------------------------------- /examples/type-indexed-trie.fomi: -------------------------------------------------------------------------------- 1 | 'None | 'Some int 2 | -------------------------------------------------------------------------------- /examples/type-indexed-trie.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/type-indexed-trie.js -------------------------------------------------------------------------------- /examples/type-indexed-trie.out: -------------------------------------------------------------------------------- 1 | 'Some 42 2 | -------------------------------------------------------------------------------- /examples/type-level-programming.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/type-level-programming.fom -------------------------------------------------------------------------------- /examples/type-level-programming.fomi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/examples/type-level-programming.fomi -------------------------------------------------------------------------------- /examples/type-level-programming.js: -------------------------------------------------------------------------------- 1 | 'use strict' 2 | _ => {} 3 | -------------------------------------------------------------------------------- /examples/type-level-programming.out: -------------------------------------------------------------------------------- 1 | λ_ 2 | -------------------------------------------------------------------------------- /opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/opam -------------------------------------------------------------------------------- /regression/123.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/regression/123.fom -------------------------------------------------------------------------------- /regression/123.fomi: -------------------------------------------------------------------------------- 1 | {b: bool} → () 2 | -------------------------------------------------------------------------------- /regression/123.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/regression/123.js -------------------------------------------------------------------------------- /regression/123.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/regression/123.out -------------------------------------------------------------------------------- /regression/let-hoisting.fom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/regression/let-hoisting.fom -------------------------------------------------------------------------------- /regression/let-hoisting.fomi: -------------------------------------------------------------------------------- 1 | bool → int 2 | -------------------------------------------------------------------------------- /regression/let-hoisting.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/regression/let-hoisting.js -------------------------------------------------------------------------------- /regression/let-hoisting.out: -------------------------------------------------------------------------------- 1 | λ_ 2 | -------------------------------------------------------------------------------- /src/main/FomAST/FomAST.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomAST/FomAST.ml -------------------------------------------------------------------------------- /src/main/FomAST/FomAST.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomAST/FomAST.mli -------------------------------------------------------------------------------- /src/main/FomAST/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomAST/dune -------------------------------------------------------------------------------- /src/main/FomAnnot/FomAnnot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomAnnot/FomAnnot.ml -------------------------------------------------------------------------------- /src/main/FomAnnot/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomAnnot/dune -------------------------------------------------------------------------------- /src/main/FomCST/FomCST.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomCST/FomCST.ml -------------------------------------------------------------------------------- /src/main/FomCST/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomCST/dune -------------------------------------------------------------------------------- /src/main/FomChecker/Exp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomChecker/Exp.ml -------------------------------------------------------------------------------- /src/main/FomChecker/FomChecker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomChecker/FomChecker.ml -------------------------------------------------------------------------------- /src/main/FomChecker/Kind.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomChecker/Kind.ml -------------------------------------------------------------------------------- /src/main/FomChecker/Label.ml: -------------------------------------------------------------------------------- 1 | include FomAST.Label 2 | -------------------------------------------------------------------------------- /src/main/FomChecker/LabelMap.ml: -------------------------------------------------------------------------------- 1 | include FomAST.LabelMap 2 | -------------------------------------------------------------------------------- /src/main/FomChecker/Row.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomChecker/Row.ml -------------------------------------------------------------------------------- /src/main/FomChecker/Typ.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomChecker/Typ.ml -------------------------------------------------------------------------------- /src/main/FomChecker/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomChecker/dune -------------------------------------------------------------------------------- /src/main/FomCommand/FomCommand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomCommand/FomCommand.ml -------------------------------------------------------------------------------- /src/main/FomCommand/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomCommand/dune -------------------------------------------------------------------------------- /src/main/FomDiag/Diagnostic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomDiag/Diagnostic.ml -------------------------------------------------------------------------------- /src/main/FomDiag/Diagnostic.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomDiag/Diagnostic.mli -------------------------------------------------------------------------------- /src/main/FomDiag/FomDiag.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomDiag/FomDiag.ml -------------------------------------------------------------------------------- /src/main/FomDiag/Typ.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomDiag/Typ.ml -------------------------------------------------------------------------------- /src/main/FomDiag/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomDiag/dune -------------------------------------------------------------------------------- /src/main/FomElab/FomElab.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomElab/FomElab.ml -------------------------------------------------------------------------------- /src/main/FomElab/FomElab.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomElab/FomElab.mli -------------------------------------------------------------------------------- /src/main/FomElab/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomElab/dune -------------------------------------------------------------------------------- /src/main/FomEnv/FomEnv.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomEnv/FomEnv.ml -------------------------------------------------------------------------------- /src/main/FomEnv/FomEnv.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomEnv/FomEnv.mli -------------------------------------------------------------------------------- /src/main/FomEnv/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomEnv/dune -------------------------------------------------------------------------------- /src/main/FomError/Error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomError/Error.ml -------------------------------------------------------------------------------- /src/main/FomError/FomError.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomError/FomError.ml -------------------------------------------------------------------------------- /src/main/FomError/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomError/dune -------------------------------------------------------------------------------- /src/main/FomPP/FomPP.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomPP/FomPP.ml -------------------------------------------------------------------------------- /src/main/FomPP/FomPP.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomPP/FomPP.mli -------------------------------------------------------------------------------- /src/main/FomPP/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomPP/dune -------------------------------------------------------------------------------- /src/main/FomPPrint/FomPPrint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomPPrint/FomPPrint.ml -------------------------------------------------------------------------------- /src/main/FomPPrint/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomPPrint/dune -------------------------------------------------------------------------------- /src/main/FomParser/Buffer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/Buffer.ml -------------------------------------------------------------------------------- /src/main/FomParser/FomParser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/FomParser.ml -------------------------------------------------------------------------------- /src/main/FomParser/FomParser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/FomParser.mli -------------------------------------------------------------------------------- /src/main/FomParser/Grammar.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/Grammar.mly -------------------------------------------------------------------------------- /src/main/FomParser/LexTrn.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/LexTrn.ml -------------------------------------------------------------------------------- /src/main/FomParser/LexTrn.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/LexTrn.mli -------------------------------------------------------------------------------- /src/main/FomParser/Lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/Lexer.ml -------------------------------------------------------------------------------- /src/main/FomParser/Offside.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/Offside.ml -------------------------------------------------------------------------------- /src/main/FomParser/Parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/Parser.ml -------------------------------------------------------------------------------- /src/main/FomParser/Token.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/Token.ml -------------------------------------------------------------------------------- /src/main/FomParser/Tokenizer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/Tokenizer.ml -------------------------------------------------------------------------------- /src/main/FomParser/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomParser/dune -------------------------------------------------------------------------------- /src/main/FomSandbox/FomSandbox.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomSandbox/FomSandbox.ml -------------------------------------------------------------------------------- /src/main/FomSandbox/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomSandbox/dune -------------------------------------------------------------------------------- /src/main/FomSource/FomSource.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomSource/FomSource.ml -------------------------------------------------------------------------------- /src/main/FomSource/Id.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomSource/Id.ml -------------------------------------------------------------------------------- /src/main/FomSource/Id.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomSource/Id.mli -------------------------------------------------------------------------------- /src/main/FomSource/Loc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomSource/Loc.ml -------------------------------------------------------------------------------- /src/main/FomSource/Loc.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomSource/Loc.mli -------------------------------------------------------------------------------- /src/main/FomSource/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomSource/dune -------------------------------------------------------------------------------- /src/main/FomToJs/FomToJs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/FomToJs.ml -------------------------------------------------------------------------------- /src/main/FomToJs/FomToJs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/FomToJs.mli -------------------------------------------------------------------------------- /src/main/FomToJs/FomToLam.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/FomToLam.ml -------------------------------------------------------------------------------- /src/main/FomToJs/Js.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/Js.ml -------------------------------------------------------------------------------- /src/main/FomToJs/Js.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/Js.mli -------------------------------------------------------------------------------- /src/main/FomToJs/Lam.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/Lam.ml -------------------------------------------------------------------------------- /src/main/FomToJs/LamCore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/LamCore.ml -------------------------------------------------------------------------------- /src/main/FomToJs/LamHoist.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/LamHoist.ml -------------------------------------------------------------------------------- /src/main/FomToJs/LamSimplify.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/LamSimplify.ml -------------------------------------------------------------------------------- /src/main/FomToJs/LamToJs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/LamToJs.ml -------------------------------------------------------------------------------- /src/main/FomToJs/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJs/dune -------------------------------------------------------------------------------- /src/main/FomToJsC/FomToJsC.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJsC/FomToJsC.ml -------------------------------------------------------------------------------- /src/main/FomToJsC/FomToJsC.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJsC/FomToJsC.mli -------------------------------------------------------------------------------- /src/main/FomToJsC/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJsC/dune -------------------------------------------------------------------------------- /src/main/FomToJsRT/FomToJsRT.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJsRT/FomToJsRT.ml -------------------------------------------------------------------------------- /src/main/FomToJsRT/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/main/FomToJsRT/dune -------------------------------------------------------------------------------- /src/test/FomAST/FomASTTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomAST/FomASTTest.ml -------------------------------------------------------------------------------- /src/test/FomAST/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomAST/dune -------------------------------------------------------------------------------- /src/test/FomChecker/FomCheckerTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomChecker/FomCheckerTest.ml -------------------------------------------------------------------------------- /src/test/FomChecker/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomChecker/dune -------------------------------------------------------------------------------- /src/test/FomElab/FomElabTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomElab/FomElabTest.ml -------------------------------------------------------------------------------- /src/test/FomElab/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomElab/dune -------------------------------------------------------------------------------- /src/test/FomParser/FomParserTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomParser/FomParserTest.ml -------------------------------------------------------------------------------- /src/test/FomParser/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomParser/dune -------------------------------------------------------------------------------- /src/test/FomSource/FomSourceTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomSource/FomSourceTest.ml -------------------------------------------------------------------------------- /src/test/FomSource/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomSource/dune -------------------------------------------------------------------------------- /src/test/FomToJs/FomToJsTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomToJs/FomToJsTest.ml -------------------------------------------------------------------------------- /src/test/FomToJs/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/polytypic/f-omega-mu/HEAD/src/test/FomToJs/dune --------------------------------------------------------------------------------