diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/tests/normalization/success/regression/TrickyBinderIdentityA.dhall | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall/tests/normalization/success/regression/TrickyBinderIdentityA.dhall b/dhall/tests/normalization/success/regression/TrickyBinderIdentityA.dhall deleted file mode 100644 index 5d72bbe..0000000 --- a/dhall/tests/normalization/success/regression/TrickyBinderIdentityA.dhall +++ /dev/null @@ -1 +0,0 @@ -let T = Natural let ap = λ(f : T → List T) -> λ(x : T) -> f x in ap (λ(x : T) -> ap (λ(y : T) -> [x, y]) 1) 0 |