Universe polymorphism is the ability for definitions to be implicitly duplicated at different universe levels, with the types they contain. (from nLab).
References:
Stats
|
created |
2 years, 5 months ago |
|
viewed |
6 times |
|
active |
2 years, 4 months ago |
|
editors |
1 |
Top Answerers
more »
Recent Hot Answers
In Agda, why is universe polymorphism explicit?Why did Agda give up cumulative universes?
What's the difference between a universe level and a natural number?
What happened to Conor McBride's universe polymorphism proposal?
What's the difference between a universe level and a natural number?
more »