Directory listing for dhall-1.33.0 source tarball
dhall-1.33.0/dhall-lang/tests/alpha-normalization/success/
- regression/
- unit/
- FunctionBindingUnderscoreA.dhall
- FunctionBindingUnderscoreB.dhall
- FunctionBindingXA.dhall
- FunctionBindingXB.dhall
- FunctionNestedBindingXA.dhall
- FunctionNestedBindingXB.dhall
- FunctionNestedBindingXXA.dhall
- FunctionNestedBindingXXB.dhall
- FunctionNestedBindingXXFreeA.dhall
- FunctionNestedBindingXXFreeB.dhall
- FunctionNestedBindingXYA.dhall
- FunctionNestedBindingXYB.dhall
- FunctionTypeBindingUnderscoreA.dhall
- FunctionTypeBindingUnderscoreB.dhall
- FunctionTypeBindingXA.dhall
- FunctionTypeBindingXB.dhall
- FunctionTypeNestedBindingXA.dhall
- FunctionTypeNestedBindingXB.dhall