Difference between revisions of "Talk:Internal and External Choice"
From KGB Wiki
m (props to rjmccall) |
|||
| Line 1: | Line 1: | ||
Let the record show that I am enormously happy this page is here. [[User:Aleffert|Akiva]] | Let the record show that I am enormously happy this page is here. [[User:Aleffert|Akiva]] | ||
| + | |||
| + | Let the record show that I am pleased and content with your efforts to confuse and bewilder the populace, by presenting internal and external choice exactly reversed from, say, [[http://www.cs.cmu.edu/~rwh/courses/logic/www/handouts/linear.pdf|the terminology of some other guy on the internet]]. The more confused everyone else is about linear logic, the more valuable my membership in the the elite priest-caste of those who understand it! Huzzah! [[User:Jcreed|Jcreed]] 22:56, 11 November 2006 (EST) | ||
Revision as of 22:56, 11 November 2006
Let the record show that I am enormously happy this page is here. Akiva
Let the record show that I am pleased and content with your efforts to confuse and bewilder the populace, by presenting internal and external choice exactly reversed from, say, [terminology of some other guy on the internet]. The more confused everyone else is about linear logic, the more valuable my membership in the the elite priest-caste of those who understand it! Huzzah! Jcreed 22:56, 11 November 2006 (EST)
