Method Values (opens in new tab)

(blog.fogus.me)

33 pointsgeospeck1y ago2 comments

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!

j / k navigate · click thread line to collapse

(blog.fogus.me)

33 pointsgeospeck1y ago2 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!

j / k navigate · click thread line to collapse