33 points | by geospeck 4 days 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!