typing_omega.dk 70 Bytes
Newer Older
Gaspard FEREY's avatar
Gaspard FEREY committed
1 2 3 4
#NAME omega.
A : Type.
B : A -> Type.
C : B ( (x => x x)(x => x x) ).