|Date:||Thu, 15 Jan 2009 02:23:34|
! no big deal, I'm sure this has popped up somewhere else ! inspired by Smullyan's "Satan, Cantor, and Infinity" : norm ( [ P ] -- [ [ P ] P ] ) dup [ [ ] curry ] dip compose ; [ [ norm ] norm ] ! evaluates to itself when "called"
|Date:||Thu, 15 Jan 2009 02:44:47|
! sorry couldn't help myself : dupcur dup curry ; [ [ dupcur ] dupcur ] ! also evaluated works
|Author:||an obvious revelation|
|Date:||Wed, 21 Jan 2009 07:25:42|
! norm IS dup curry ! : norm dup curry ;