minitt-rs icon indicating copy to clipboard operation
minitt-rs copied to clipboard

Published 20 hours ago • verified publisher icon owo-lang

Universe polymorphism

Open ice1000 opened this issue 6 years ago • 1 comments

ice1000 avatar Mar 24 '19 04:03 ice1000

The current implementation of universe level does not satisfy:

Luo also adds a rule for function types which is covariant in the codomain but demands equality in the domain.

(from: https://mazzo.li/epilogue/index.html%3Fp=857&cpage=1.html )

ice1000 avatar Jun 03 '19 07:06 ice1000