Questions tagged [universe-polymorphism]
Universe polymorphism is the ability for definitions to be implicitly duplicated at different universe levels, with the types they contain. (from nLab).
0
questions with bounties
No questions found. Perhaps you'd like to select a different tab?