inferno-experimental/client
Olivier 9b26caa1c8 Improve the executable ./TestMidML.exe. 2022-01-26 17:57:11 +01:00
..
test Improve the executable ./TestMidML.exe. 2022-01-26 17:57:11 +01:00
Datatype.ml Add union in Datatype.ml. 2022-01-06 17:56:30 +01:00
Datatype.mli Add union in Datatype.ml. 2022-01-06 17:56:30 +01:00
DeBruijn.ml DeBruijn: translation for open terms 2021-02-16 14:51:55 +01:00
DeBruijn.mli Avoid a warning about an unused functor parameter. 2021-12-22 14:40:54 +01:00
F.ml Add ranges in system F terms. 2022-01-05 12:56:11 +01:00
F.mli Add ranges in system F terms. 2022-01-05 12:56:11 +01:00
FPrinter.ml Publish [Utils.gensym] and hide [postincrement]. 2022-01-06 16:20:49 +01:00
FPrinter.mli FPrinter uses the generic printer. 2021-05-12 13:41:46 +02:00
FTypeChecker.ml Add ranges in system F terms. 2022-01-05 12:56:11 +01:00
FTypeChecker.mli Translate datatype environments. 2021-02-16 14:52:51 +01:00
Infer.ml Use the correlate combinator to propagate term ranges in the constraints. 2022-01-26 15:59:05 +01:00
Infer.mli Let [make test] test both settings of [rectypes]. 2022-01-14 00:02:37 +01:00
Int.ml Switch to Dune. 2019-09-24 09:02:29 +02:00
Int.mli Switch to Dune. 2019-09-24 09:02:29 +02:00
ML.ml Avoid using [List.compare], which requires OCaml 4.12. 2022-01-06 10:06:33 +01:00
ML2F.ml Add ranges in ML types. 2022-01-05 12:56:11 +01:00
MLLexer.mll Add #use directive in lexer/parser. 2022-01-06 17:56:30 +01:00
MLParser.mly Add #use directive in lexer/parser. 2022-01-06 17:56:30 +01:00
MLPrinter.ml Add ranges in ML types. 2022-01-05 12:56:11 +01:00
MLPrinter.mli Write a printer for the source language using the generic printer. 2021-05-12 13:41:46 +02:00
Makefile Add client/Makefile for convenience. 2020-11-01 08:57:21 +01:00
P.ml typed holes (with subterms) for shrinking 2021-05-23 18:42:31 +02:00
Printer.ml Add ranges in ML terms. 2022-01-05 12:56:11 +01:00
dune Wrap the parser. 2022-01-26 15:59:05 +01:00