dhall-1.24.0: dhall-lang/tests/normalization/success/unit/NaturalFoldOneA.dhall

Natural/fold 1 Natural (λ(x : Natural) → 5) x