Cross Reference: /hets/HasCASL/test/ContraVariance.hascasl
Cross Reference: ContraVariance.hascasl
xref
: /
hets
/
HasCASL
/
test
/
ContraVariance.hascasl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
ContraVariance.hascasl revision bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2
1
2
3
4
type p := \ (a : +Type) . Pred (Pred a) %% should be correct
type p := \ (a : +Type) . Pred a %% should be wrong
type m := \ (b : -Type) . b %% should be wrong