Directory listing for dhall-1.29.0 source tarball
dhall-1.29.0/dhall-lang/tests/type-inference/success/simple/
- RecordMixedKinds2A.dhall
- RecordMixedKinds2B.dhall
- RecordMixedKindsA.dhall
- RecordMixedKindsB.dhall
- RecordTypeMixedKinds2A.dhall
- RecordTypeMixedKinds2B.dhall
- RecordTypeMixedKinds3A.dhall
- RecordTypeMixedKinds3B.dhall
- RecursiveRecordMergeMixedKindsA.dhall
- RecursiveRecordMergeMixedKindsB.dhall
- RightBiasedRecordMergeMixedKindsA.dhall
- RightBiasedRecordMergeMixedKindsB.dhall
- anonymousFunctionsInTypesA.dhall
- anonymousFunctionsInTypesB.dhall
- combineMixedRecordsA.dhall
- combineMixedRecordsB.dhall
- completionA.dhall
- completionB.dhall
- complexShadowingA.dhall
- complexShadowingB.dhall
- fieldsAreTypesA.dhall
- fieldsAreTypesB.dhall
- kindParameterA.dhall
- kindParameterB.dhall
- mergeEquivalenceA.dhall
- mergeEquivalenceB.dhall
- mixedFieldAccessA.dhall
- mixedFieldAccessB.dhall
- orderInsensitivityA.dhall
- orderInsensitivityB.dhall
- toMapEmptyNormalizeAnnotationA.dhall
- toMapEmptyNormalizeAnnotationB.dhall
- unionsOfTypesA.dhall
- unionsOfTypesB.dhall
- access/