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 | + | 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)
