aboutsummaryrefslogtreecommitdiff
path: root/flake.lock
diff options
context:
space:
mode:
authorNathan Ringo <nathan@remexre.com>2024-01-24 19:13:45 -0600
committerNathan Ringo <nathan@remexre.com>2024-01-24 19:13:45 -0600
commita4c90a9c3ed05ead786e5e3fc06ad7e6bbd77b57 (patch)
tree8e724c3b56e95208f59564c73911c183f221b1f4 /flake.lock
parent00d3ea6b17b73594c95318adf266802b02f65abb (diff)
Better letrec reductions.HEADtrunk
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 'flake.lock')
0 files changed, 0 insertions, 0 deletions