Talk:ELIP/Unlambda
Jump to navigation
Jump to search
I presume there is a limit to the number of reduction steps done, due to the probable Turing-incompleteness of cpp? I guess it depends on the details of Order's implementation. —ehird 18:34, 30 August 2011 (UTC)