Content deleted Content added
Line 440:
-- fix f = let x = f x in x -- sharing fixed-point, for corecursive definitions
Are the comments correct??? From my reading, the two forms have nothing to do with recursion and corecursion. Both are recursive definitions; one is the lifted form of the other.
[[User:Thepigdog|Thepigdog]] ([[User talk:Thepigdog|talk]]) 03:41, 4 February 2014 (UTC)
|