inferno-experimental/src
François Pottier 1940ed39e4 Documentation for [letr1] and [letrn]. 2022-04-08 11:13:08 +02:00
..
Decoder.ml Simplify the modules and signatures involved in decoding. 2022-01-27 19:07:02 +01:00
Decoder.mli Simplify the modules and signatures involved in decoding. 2022-01-27 19:07:02 +01:00
Generalization.ml Generalization: split [fresh] into two functions, [flexible] and [rigid]. 2022-04-01 22:05:47 +02:00
Generalization.mli Tweak a documentation comment. 2022-04-06 08:39:19 +02:00
InfiniteArray.ml InfiniteArray: stylistic changes in the code. 2022-02-15 14:55:38 +01:00
InfiniteArray.mli Simplify the Gospel postcondition of [InfiniteArray.make]. 2022-02-15 17:15:26 +01:00
Makefile Add [make gospel]. 2022-02-15 17:16:29 +01:00
OccursCheck.ml Distinguish [OCSTRUCTURE] and [OSTRUCTURE]. 2022-01-27 17:26:26 +01:00
OccursCheck.mli Documentation comments. 2022-01-27 17:29:19 +01:00
Signatures.ml Documentation comments. 2022-02-04 19:03:45 +01:00
Solver.ml Introduce type abbreviations for lists of things. 2022-04-08 10:38:08 +02:00
Solver.mli Documentation for [letr1] and [letrn]. 2022-04-08 11:13:08 +02:00
Structure.ml New signature [STRUCTURE_LEAF], including a constant [leaf]. 2022-01-24 08:00:02 +01:00
Structure.mli New signature [STRUCTURE_LEAF], including a constant [leaf]. 2022-01-24 08:00:02 +01:00
Unifier.ml Rename UnifierSig to Signatures. 2022-01-23 23:06:49 +01:00
Unifier.mli Documentation comments. 2022-01-27 17:21:07 +01:00
Utils.ml Publish [Utils.gensym] and hide [postincrement]. 2022-01-06 16:20:49 +01:00
Utils.mli Utils: publish [postincrement]. 2022-01-21 17:46:13 +01:00
dune Enable warning 42 again. 2022-04-01 18:23:27 +02:00
index.mld Inline away all signatures in the documentation. 2022-01-24 23:12:00 +01:00
tarjan.ml Headers. 2022-02-04 16:39:42 +01:00
tarjan.mli Headers. 2022-02-04 16:39:42 +01:00