hdiff
packages
feed
dhall
-1.7.0: tests/regression/issue151b.dhall
\(omega : ((\(x : A) -> x x) (\(x : A) -> x x))) -> omega 1