diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-01-24 19:13:45 -0600 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-01-24 19:13:45 -0600 |
| commit | a4c90a9c3ed05ead786e5e3fc06ad7e6bbd77b57 (patch) | |
| tree | 8e724c3b56e95208f59564c73911c183f221b1f4 /discocaml/util.ml | |
| parent | 00d3ea6b17b73594c95318adf266802b02f65abb (diff) | |
However... this is now no longer doing capture-avoiding substitution for
letrecs... and making the variable the redex kinda makes it harder to do
the substitution...
Maybe it's time to switch to using pointers in variables.
Diffstat (limited to 'discocaml/util.ml')
0 files changed, 0 insertions, 0 deletions