MiniAgda by Andreas Abel and Karl Mehltretter
--- opening "MutualNeg.ma" ---
--- scope checking ---
--- type checking ---
type  D : Set
term  D.absD : ^(y0 : E -> D) -> < D.absD y0 : D >
type  E : Set
term  E.absE : ^(y0 : D -> E) -> < E.absE y0 : E >
error during typechecking:
checking positivity
/// polarity check ++ <= + failed