balqui / prefscript

PReFScript: A Partial Recursive Functions Lab
MIT License
0 stars 0 forks source link

Refactor the storing of the last step #5

Closed balqui closed 3 months ago

balqui commented 1 year ago

Should not depend on unpairing.

balqui commented 3 months ago

It does not anymore, for quite some time now.