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