Right then. "Type" is now the type of types. Sounds like an obvious name for it when you put it like that. Please don't ask again ;)
-
-
-
Replying to @simoninireland
@simoninireland it's all the same to us in world of dependent types...1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady I'm not sure that's true...but we should discuss1 reply 0 retweets 0 likes
Replying to @simoninireland
@simoninireland There's a hierarchy: types have type 'Type', 'Type' has type 'Type1', etc... you run out of synonyms otherwise
3:40 PM - 11 Dec 2012
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.