|
|
# Levity polymorphism
|
|
|
|
|
|
|
|
|
This is a status page for levity polymorphism, as described in the [ Levity Polymorphism paper](https://www.microsoft.com/en-us/research/publication/levity-polymorphism/).
|
|
|
This is a status page for levity polymorphism, as described in the [Levity Polymorphism paper](https://www.microsoft.com/en-us/research/publication/levity-polymorphism/).
|
|
|
|
|
|
|
|
|
See also [UnliftedDataTypes](unlifted-data-types)
|
... | ... | |