Difference between revisions of "Talk:Internal and External Choice"
From KGB Wiki
m |
|||
| 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| | + | 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, the [[http://www.cs.cmu.edu/~rwh/courses/logic/www/handouts/linear.pdf|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, the [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)
