inferno-experimental/src
Olivier 2bb64df640 Add letrn combinator and rewrite the other let-combinators accordingly. 2022-02-23 18:14:21 +01:00
..
Decoder.ml Remove the need for the signature [MOUTPUT]. 2022-01-24 22:04:15 +01:00
Decoder.mli Inline away all signatures in the documentation. 2022-01-24 23:12:00 +01:00
Generalization.ml Merge CLetRigid and CLet. 2022-02-08 17:18:01 +01:00
Generalization.mli Merge CLetRigid and CLet. 2022-02-08 17:18:01 +01:00
InfiniteArray.ml Add a header to every source file. 2019-09-24 09:04:03 +02:00
InfiniteArray.mli Add a header to every source file. 2019-09-24 09:04:03 +02:00
Makefile Add src/Makefile for convenience. 2020-11-01 10:13:31 +01:00
OccursCheck.ml Rename UnifierSig to Signatures. 2022-01-23 23:06:49 +01:00
OccursCheck.mli Inline away all signatures in the documentation. 2022-01-24 23:12:00 +01:00
Signatures.ml Comments. 2022-01-24 22:28:06 +01:00
Solver.ml Add letrn combinator and rewrite the other let-combinators accordingly. 2022-02-23 18:14:21 +01:00
Solver.mli Add letrn combinator and rewrite the other let-combinators accordingly. 2022-02-23 18:14:21 +01: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 Inline away all signatures in the documentation. 2022-01-24 23:12:00 +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 Add a documentation stanza. 2022-01-24 22:29:24 +01:00
index.mld Inline away all signatures in the documentation. 2022-01-24 23:12:00 +01:00
tarjan.ml Add Tarjan's SCC algorithm. 2022-01-21 17:49:28 +01:00
tarjan.mli Add Tarjan's SCC algorithm. 2022-01-21 17:49:28 +01:00