21 points | by geospeck a day ago ago
2 comments
This looks to be another name for 'eta expansion/reduction', if you're searching for prior art in other languages.
Also supported in the latest babashka!
This looks to be another name for 'eta expansion/reduction', if you're searching for prior art in other languages.
Also supported in the latest babashka!