@pigworker you have that lovely talk about cumulative universes, is there any more spelled out expositions anywhere ?
-
-
Replying to @cartazio
unless you count thishttps://pigworker.wordpress.com/2015/01/09/universe-hierarchies/ …
1 reply 2 retweets 2 likes -
Replying to @pigworker @cartazio
I'm curious about how universes are handled in Idris, which I've seemed termed "universe polymorphism". Is that Harper-Pollack?
1 reply 0 retweets 0 likes -
Maybe a question for
@edwinbrady1 reply 0 retweets 0 likes -
I certainly don't know.
1 reply 0 retweets 0 likes -
It is indeed Harper Pollack. There's fancier stuff we could do...
2 replies 0 retweets 1 like -
I hope there's scope to shoot for a lot less fancy.
1 reply 0 retweets 1 like
I would not object to that. Less complicated is usually better...
10:36 AM - 26 Jul 2017
0 replies
0 retweets
1 like
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.