You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
inferno-experimental/client
François Pottier 5b51d055eb Simplify the types of [letr1] and [letrn]. 8 months ago
..
bin 'client/test/TestMidML.exe' becomes 'client/bin/midml.exe' (or 'midml') 10 months ago
test Add another test that exhibits a similar problem. 8 months ago
Datatype.ml Add union in Datatype.ml. 11 months ago
Datatype.mli Add union in Datatype.ml. 11 months ago
DeBruijn.ml
DeBruijn.mli Avoid a warning about an unused functor parameter. 12 months ago
F.ml Remove Inj, PInj, and TySum from System F. 11 months ago
F.mli Remove Inj, PInj, and TySum from System F. 11 months ago
FPrinter.ml Add support for rigid variables in the source language. 9 months ago
FPrinter.mli Add [FPrinter.print_type_error]. 11 months ago
FTypeChecker.ml get rid of FTypeCheckerWrapper 10 months ago
FTypeChecker.mli get rid of FTypeCheckerWrapper 10 months ago
Infer.ml Simplify the types of [letr1] and [letrn]. 8 months ago
Infer.mli Fix rigid variables escaping. 8 months ago
ML.ml Add support for rigid variables in the source language. 9 months ago
ML2F.ml Add ranges in ML types. 11 months ago
MLLexer.mll Add basic support for comments to the MidML lexer. 8 months ago
MLParser.mly add simple annotations for testing 9 months ago
MLPrinter.ml Add support for rigid variables in the source language. 9 months ago
MLPrinter.mli
Makefile client/Makefile and client/test/Makefile: actually build, not just @check. 11 months ago
P.ml Add support for rigid variables in the source language. 9 months ago
Printer.ml Add support for rigid variables in the source language. 9 months ago
Structure.ml Split [Structure] out of [Infer]. 11 months ago
Utils.ml client: factor all document printing through utility functions 10 months ago
Utils.mli client: factor all document printing through utility functions 10 months ago
dune Wrap the parser. 10 months ago