Talk:Call/cc
Jump to navigation
Jump to search
Should law of excluded middle continuations also be described? --Zzo38 (talk) 10:49, 31 January 2016 (UTC)
- Perhaps I should describe by myself: Define an operation called lem/cc which immediately returns a function. When that function is called, then it must go back and lem/cc instead returns the value passed as the argument to that function. (Note that call/cc corresponds to Peirce's law) --Zzo38 (talk) 12:31, 14 February 2016 (UTC)