Difference between revisions of "Talk:Type arithmetic"
Jump to navigation
Jump to search
(Why?) |
(No difference)
|
Revision as of 11:53, 12 March 2007
This page seems to explain what but not why. I don't know about anyone else, but when I read 'arithmetic at the type level', the very first thought that pops into my head is 'why in the name of God would you want to do such an insane thing?' MathematicalOrchid 11:53, 12 March 2007 (UTC)