[Git][monnier/typer][master] 2 commits: Add comments from a Myers's subst experiment
by Stefan 27 Jul '19
by Stefan 27 Jul '19
27 Jul '19
1
0
1
0
1
0
[Git][monnier/typer][master] 2 commits: * src/subst.ml (subst): Fold a `Shift` into the `Identity`.
by Stefan 24 Jul '19
by Stefan 24 Jul '19
24 Jul '19
1
0
1
0