Directory listing for dhall-1.25.0 source tarball
dhall-1.25.0/dhall-lang/tests/typecheck/success/simple/
- anonymousFunctionsInTypesA.dhall
- anonymousFunctionsInTypesB.dhall
- complexShadowingA.dhall
- complexShadowingB.dhall
- fieldsAreTypesA.dhall
- fieldsAreTypesB.dhall
- kindParameterA.dhall
- kindParameterB.dhall
- mergeEquivalenceA.dhall
- mergeEquivalenceB.dhall
- mixedFieldAccessA.dhall
- mixedFieldAccessB.dhall
- unionsOfTypesA.dhall
- unionsOfTypesB.dhall
- access/