NaturalFoldExtraArgA.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/NaturalFoldExtraArgA.dhall

blob: 3a69d1ef4ca42cc1a06f9910cc9633ab4246d1cb (plain)

Natural/fold 0 (Bool -> Bool) (λ(_ : (Bool -> Bool)) → λ(_ : Bool) → True) (λ(_ : Bool) → False) True