MiniAgda-0.2014.1.9: test/fail/BoxNeg.ma
-- 2010-06-11, Nisse
data Box (A : Set) : Set
{ box : A -> Box A
}
data Neg : Set
{ neg : (Box Neg -> Neg) -> Neg
}
-- 2010-06-11, Nisse
data Box (A : Set) : Set
{ box : A -> Box A
}
data Neg : Set
{ neg : (Box Neg -> Neg) -> Neg
}