Directory listing for dhall-1.14.0 source tarball
dhall-1.14.0/
- CHANGELOG.md
- LICENSE
- Setup.hs
- dhall.cabal
- Prelude/
- dhall/
- dhall-format/
- dhall-hash/
- dhall-repl/
- doctest/
- src/
- tests/
- Format.hs
- Normalization.hs
- Parser.hs
- Regression.hs
- Tests.hs
- Tutorial.hs
- TypeCheck.hs
- Util.hs
- format/
- 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/
- tutorial/
- parser/
- annotations.dhall
- blockComment.dhall
- builtins.dhall
- constructors.dhall
- double.dhall
- doubleQuotedString.dhall
- environmentVariables.dhall
- escapedDoubleQuotedString.dhall
- escapedSingleQuotedString.dhall
- fields.dhall
- forall.dhall
- functionType.dhall
- identifier.dhall
- ifThenElse.dhall
- interpolatedDoubleQuotedString.dhall
- interpolatedSingleQuotedString.dhall
- label.dhall
- lambda.dhall
- largeExpression.dhall
- let.dhall
- lineComment.dhall
- list.dhall
- merge.dhall
- natural.dhall
- nestedBlockComment.dhall
- operators.dhall
- pathTermination.dhall
- paths.dhall
- quotedLabel.dhall
- record.dhall
- reservedPrefix.dhall
- singleQuotedString.dhall
- template.dhall
- unicodeComment.dhall
- unicodeDoubleQuotedString.dhall
- union.dhall
- urls.dhall
- whitespace.dhall
- whitespaceBuffet.dhall
- regression/
- tutorial/
- typecheck/