.. |
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 |