TrickyBinderIdentityA.dhall « regression « success « normalization « tests « dhall - dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

summary refs log tree commit diff

path: root/dhall/tests/normalization/success/regression/TrickyBinderIdentityA.dhall

blob: 5d72bbefcc1fc96c46aca932b0771b72d448b046 (plain)

let T = Natural let ap = λ(f : T → List T) -> λ(x : T) -> f x in ap (λ(x : T) -> ap (λ(y : T) -> [x, y]) 1) 0