/dhall/tests/normalization/success/regression/

• ../
• NaturalFoldExtraArgA.dhall
• NaturalFoldExtraArgB.dhall
• TrickyBinderIdentityA.dhall
• TrickyBinderIdentityB.dhall