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/src
François Pottier 1940ed39e4 Documentation for [letr1] and [letrn]. 8 months ago
..
Decoder.ml Simplify the modules and signatures involved in decoding. 11 months ago
Decoder.mli Simplify the modules and signatures involved in decoding. 11 months ago
Generalization.ml Generalization: split [fresh] into two functions, [flexible] and [rigid]. 8 months ago
Generalization.mli Tweak a documentation comment. 8 months ago
InfiniteArray.ml InfiniteArray: stylistic changes in the code. 10 months ago
InfiniteArray.mli Simplify the Gospel postcondition of [InfiniteArray.make]. 10 months ago
Makefile Add [make gospel]. 10 months ago
OccursCheck.ml Distinguish [OCSTRUCTURE] and [OSTRUCTURE]. 11 months ago
OccursCheck.mli Documentation comments. 11 months ago
Signatures.ml Documentation comments. 10 months ago
Solver.ml Introduce type abbreviations for lists of things. 8 months ago
Solver.mli Documentation for [letr1] and [letrn]. 8 months ago
Structure.ml New signature [STRUCTURE_LEAF], including a constant [leaf]. 11 months ago
Structure.mli New signature [STRUCTURE_LEAF], including a constant [leaf]. 11 months ago
Unifier.ml Rename UnifierSig to Signatures. 11 months ago
Unifier.mli Documentation comments. 11 months ago
Utils.ml Publish [Utils.gensym] and hide [postincrement]. 11 months ago
Utils.mli Utils: publish [postincrement]. 11 months ago
dune Enable warning 42 again. 8 months ago
index.mld Inline away all signatures in the documentation. 11 months ago
tarjan.ml Headers. 10 months ago
tarjan.mli Headers. 10 months ago