| .. |
|
bin
|
'client/test/TestMidML.exe' becomes 'client/bin/midml.exe' (or 'midml')
|
2022-02-07 17:50:55 +01:00 |
|
test
|
Improve printing of n-ary abstraction and type abstraction.
|
2022-11-22 12:07:55 +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
|
Remove Inj, PInj, and TySum from System F.
|
2022-01-20 15:19:06 +01:00 |
|
F.mli
|
Remove Inj, PInj, and TySum from System F.
|
2022-01-20 15:19:06 +01:00 |
|
FPrinter.ml
|
Add support for rigid variables in the source language.
|
2022-03-16 12:18:19 +01:00 |
|
FPrinter.mli
|
Add [FPrinter.print_type_error].
|
2022-01-20 15:27:33 +01:00 |
|
FTypeChecker.ml
|
get rid of FTypeCheckerWrapper
|
2022-02-07 16:41:01 +01:00 |
|
FTypeChecker.mli
|
get rid of FTypeCheckerWrapper
|
2022-02-07 16:41:01 +01:00 |
|
Infer.ml
|
simplify Signatures by requiring debug [pprint] everywhere
|
2022-12-26 22:55:01 +01:00 |
|
Infer.mli
|
Fix rigid variables escaping.
|
2022-04-01 09:48:23 +02:00 |
|
ML.ml
|
Add support for rigid variables in the source language.
|
2022-03-16 12:18:19 +01:00 |
|
ML2F.ml
|
Add ranges in ML types.
|
2022-01-05 12:56:11 +01:00 |
|
MLLexer.mll
|
Add basic support for comments to the MidML lexer.
|
2022-04-06 22:15:11 +02:00 |
|
MLParser.mly
|
Improve printing of n-ary abstraction and type abstraction.
|
2022-11-22 12:07:55 +01:00 |
|
MLPrinter.ml
|
Add support for rigid variables in the source language.
|
2022-03-16 12:18:19 +01:00 |
|
MLPrinter.mli
|
Write a printer for the source language using the generic printer.
|
2021-05-12 13:41:46 +02:00 |
|
Makefile
|
client/Makefile and client/test/Makefile: actually build, not just @check.
|
2022-01-20 15:18:55 +01:00 |
|
P.ml
|
Add support for rigid variables in the source language.
|
2022-03-16 12:18:19 +01:00 |
|
Printer.ml
|
Improve printing of n-ary abstraction and type abstraction.
|
2022-11-22 12:07:55 +01:00 |
|
Structure.ml
|
Split [Structure] out of [Infer].
|
2022-01-20 15:19:06 +01:00 |
|
Utils.ml
|
client: factor all document printing through utility functions
|
2022-02-07 16:41:01 +01:00 |
|
Utils.mli
|
client: factor all document printing through utility functions
|
2022-02-07 16:41:01 +01:00 |
|
dune
|
Wrap the parser.
|
2022-02-07 10:45:55 +01:00 |
Gabriel Scherer
54021e46bd