Skip to content

Changes

Page history
Edit ExistentialQuantifier authored by john@repetae.net's avatar john@repetae.net
Hide whitespace changes
Inline Side-by-side
existential-quantifier.md
View page @ bb061c5a
...@@ -21,6 +21,6 @@ When existentials appear in the contravarient position such as above, they can b ...@@ -21,6 +21,6 @@ When existentials appear in the contravarient position such as above, they can b
Jhc currently supports the existential syntax anywhere a type is accepted, but will report an error if one is used in a covariant position. Jhc currently supports the existential syntax anywhere a type is accepted, but will report an error if one is used in a covariant position with the exception of when it is a component of a data type.