diff options
| author | Dimitris Kokkonis <kokkonisd@gmail.com> | 2020-10-10 12:31:09 +0200 |
|---|---|---|
| committer | Dimitris Kokkonis <kokkonisd@gmail.com> | 2020-10-10 12:31:09 +0200 |
| commit | 916dceba25fcca6d7d9858d25c409bc9984c5fce (patch) | |
| tree | fb9e604256d3c3267e0f55de39e0fa3b4b0b0728 /dhall.html.markdown | |
| parent | 922fc494bcce6cb53d80a5c2c9c039a480c82c1f (diff) | |
| parent | 33cd1f57ef49f4ed0817e906b7579fcf33c253a1 (diff) | |
Merge remote-tracking branch 'upstream/master' into master
Diffstat (limited to 'dhall.html.markdown')
| -rw-r--r-- | dhall.html.markdown | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall.html.markdown b/dhall.html.markdown index 21126c8a..704a94ee 100644 --- a/dhall.html.markdown +++ b/dhall.html.markdown @@ -11,7 +11,7 @@ alternative to YAML. You can think of Dhall as: JSON + functions + types + imports Note that while Dhall is programmable, Dhall is not Turing-complete. Many -of Dhall's features take advantage of this restriction to provider stronger +of Dhall's features take advantage of this restriction to provide stronger safety guarantees and more powerful tooling. ```haskell @@ -216,7 +216,7 @@ let functionAppliedToARecord : List Natural = let typeConversion : Natural -> Text = \(age : Natural) -> "I am ${Natural/show age} years old!" --- A template is the same thing as a function whose output type is `Text` +-- A "template" is the same thing as a function whose output type is `Text` let mitLicense : { year : Natural, copyrightHolder : Text } -> Text = \(args : { year : Natural, copyrightHolder : Text }) -> '' @@ -263,7 +263,7 @@ let Natural/sum : List Natural -> Natural = let twentyEight : Natural = Natural/sum somePrimes --- A package is the same thing as a (possibly nested) record that you can import +-- A "package" is the same thing as a (possibly nested) record that you can import let Prelude = https://prelude.dhall-lang.org/package.dhall let false : Bool = Prelude.Bool.not True |