[–] mrkeen 1y ago ↗ This looks to be another name for 'eta expansion/reduction', if you're searching for prior art in other languages.
2 comments
[ 3.9 ms ] story [ 23.2 ms ] thread