├── .gitignore ├── LICENSE ├── README.md ├── back ├── lib │ ├── Check.ml │ ├── Check.mli │ ├── Context.ml │ ├── Context.mli │ ├── Copy.ml │ ├── Copy.mli │ ├── Naming.ml │ ├── Naming.mli │ ├── Print.ml │ ├── Print.mli │ ├── Syntax.ml │ ├── Valid.ml │ ├── Valid.mli │ └── dune └── test │ ├── Tests.ml │ └── dune ├── bhrp.opam ├── dune ├── dune-project ├── dune-workspace ├── examples ├── apply.bhrp ├── id.bhrp ├── id_type.bhrp ├── product.bhrp └── unit.bhrp ├── front ├── lib │ ├── Interp.ml │ ├── Lexer.mll │ ├── Native.ml │ ├── Parser.mly │ ├── Value.ml │ └── dune └── test │ ├── Tests.ml │ └── dune ├── misc ├── profile.csv └── profile_extract.py ├── repl └── bin │ ├── Main.ml │ └── dune ├── shared └── lib │ ├── Expr.ml │ ├── Mono.ml │ ├── Poly.ml │ ├── Simple.ml │ └── dune └── util ├── lib ├── AVL.ml ├── Env.ml ├── Env.mli ├── Extra.ml ├── Infix.ml ├── Map.ml ├── Option.ml ├── Order.ml ├── Result.ml ├── Set.ml └── dune └── test ├── Tests.ml └── dune /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/README.md -------------------------------------------------------------------------------- /back/lib/Check.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Check.ml -------------------------------------------------------------------------------- /back/lib/Check.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Check.mli -------------------------------------------------------------------------------- /back/lib/Context.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Context.ml -------------------------------------------------------------------------------- /back/lib/Context.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Context.mli -------------------------------------------------------------------------------- /back/lib/Copy.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Copy.ml -------------------------------------------------------------------------------- /back/lib/Copy.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Copy.mli -------------------------------------------------------------------------------- /back/lib/Naming.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Naming.ml -------------------------------------------------------------------------------- /back/lib/Naming.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Naming.mli -------------------------------------------------------------------------------- /back/lib/Print.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Print.ml -------------------------------------------------------------------------------- /back/lib/Print.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Print.mli -------------------------------------------------------------------------------- /back/lib/Syntax.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Syntax.ml -------------------------------------------------------------------------------- /back/lib/Valid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Valid.ml -------------------------------------------------------------------------------- /back/lib/Valid.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/Valid.mli -------------------------------------------------------------------------------- /back/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/lib/dune -------------------------------------------------------------------------------- /back/test/Tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/test/Tests.ml -------------------------------------------------------------------------------- /back/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/back/test/dune -------------------------------------------------------------------------------- /bhrp.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/bhrp.opam -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/dune-project -------------------------------------------------------------------------------- /dune-workspace: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/dune-workspace -------------------------------------------------------------------------------- /examples/apply.bhrp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/examples/apply.bhrp -------------------------------------------------------------------------------- /examples/id.bhrp: -------------------------------------------------------------------------------- 1 | x => x 2 | -------------------------------------------------------------------------------- /examples/id_type.bhrp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/examples/id_type.bhrp -------------------------------------------------------------------------------- /examples/product.bhrp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/examples/product.bhrp -------------------------------------------------------------------------------- /examples/unit.bhrp: -------------------------------------------------------------------------------- 1 | unit 2 | -------------------------------------------------------------------------------- /front/lib/Interp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/front/lib/Interp.ml -------------------------------------------------------------------------------- /front/lib/Lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/front/lib/Lexer.mll -------------------------------------------------------------------------------- /front/lib/Native.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/front/lib/Native.ml -------------------------------------------------------------------------------- /front/lib/Parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/front/lib/Parser.mly -------------------------------------------------------------------------------- /front/lib/Value.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/front/lib/Value.ml -------------------------------------------------------------------------------- /front/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/front/lib/dune -------------------------------------------------------------------------------- /front/test/Tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/front/test/Tests.ml -------------------------------------------------------------------------------- /front/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/front/test/dune -------------------------------------------------------------------------------- /misc/profile.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/misc/profile.csv -------------------------------------------------------------------------------- /misc/profile_extract.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/misc/profile_extract.py -------------------------------------------------------------------------------- /repl/bin/Main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/repl/bin/Main.ml -------------------------------------------------------------------------------- /repl/bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/repl/bin/dune -------------------------------------------------------------------------------- /shared/lib/Expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/shared/lib/Expr.ml -------------------------------------------------------------------------------- /shared/lib/Mono.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/shared/lib/Mono.ml -------------------------------------------------------------------------------- /shared/lib/Poly.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/shared/lib/Poly.ml -------------------------------------------------------------------------------- /shared/lib/Simple.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/shared/lib/Simple.ml -------------------------------------------------------------------------------- /shared/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/shared/lib/dune -------------------------------------------------------------------------------- /util/lib/AVL.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/AVL.ml -------------------------------------------------------------------------------- /util/lib/Env.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/Env.ml -------------------------------------------------------------------------------- /util/lib/Env.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/Env.mli -------------------------------------------------------------------------------- /util/lib/Extra.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/Extra.ml -------------------------------------------------------------------------------- /util/lib/Infix.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/Infix.ml -------------------------------------------------------------------------------- /util/lib/Map.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/Map.ml -------------------------------------------------------------------------------- /util/lib/Option.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/Option.ml -------------------------------------------------------------------------------- /util/lib/Order.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/Order.ml -------------------------------------------------------------------------------- /util/lib/Result.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/Result.ml -------------------------------------------------------------------------------- /util/lib/Set.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/Set.ml -------------------------------------------------------------------------------- /util/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/lib/dune -------------------------------------------------------------------------------- /util/test/Tests.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/test/Tests.ml -------------------------------------------------------------------------------- /util/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/soren-n/bidi-higher-rank-poly/HEAD/util/test/dune --------------------------------------------------------------------------------