Use this tag for polymorphism that restrict the range of types that can be used in a particular case.
References:
About
Stats
|
created |
2 years, 10 months ago |
|
viewed |
3 times |
|
active |
2 years, 10 months ago |
|
editors |
1 |
Top Answerers
more »
Recent Hot Answers
What subtyping rules does Agda support?Formal description of algorithmic subtyping/cumulativity
What's the benefit of having pi and sigma types with an invariant parameter?
Formal description of algorithmic subtyping/cumulativity
Why inductive types (or variants) are so rigid in terms of the set of constructors
more »