Difference between revisions of "Talk:Internal and External Choice"
From KGB Wiki
m |
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, the [[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 23:58, 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 [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)
