Directory listing for dhall-1.11.1 source tarball
dhall-1.11.1/tests/normalization/
- doubleShowA.dhall
- doubleShowB.dhall
- integerShowA.dhall
- integerShowB.dhall
- listBuildA.dhall
- listBuildB.dhall
- naturalBuildA.dhall
- naturalBuildB.dhall
- naturalPlusA.dhall
- naturalPlusB.dhall
- naturalShowA.dhall
- naturalShowB.dhall
- naturalToIntegerA.dhall
- naturalToIntegerB.dhall
- optionalBuildA.dhall
- optionalBuildB.dhall
- optionalBuildFoldA.dhall
- optionalBuildFoldB.dhall
- optionalFoldA.dhall
- optionalFoldB.dhall
- remoteSystemsA.dhall
- remoteSystemsB.dhall
- examples/
- Bool/
- Double/
- Integer/
- List/
- Natural/
- Optional/
- Text/
- simplifications/