summaryrefslogtreecommitdiffhomepage
path: root/dhall.html.markdown
diff options
context:
space:
mode:
authorProfpatsch <mail@profpatsch.de>2019-08-19 14:57:50 +0200
committerDivay Prakash <divayprakash@users.noreply.github.com>2019-08-19 18:27:50 +0530
commitec3d3f91ea91cd5c6b6569af194dbafb5635c4c4 (patch)
tree10aa84818309d4d44a0cda8741fb0514c02d1f61 /dhall.html.markdown
parent92d9ba9b61641760ce125cb64f06d659e5089e6c (diff)
[dhall/de]: add German translation (#3600)
* [dhall/en] Typo & highlight terms Template and package are referencing concepts from other languages, so let’s highlight them to clarify. * [dhall/de] Translate to German The translation leaves (most) of the code as-is, only changing the comments and some string contents. The `philadelphia` and `john` fields are changed to `augsburg` and `bernd` respectively, as an in-joke for German programmers.
Diffstat (limited to 'dhall.html.markdown')
-rw-r--r--dhall.html.markdown6
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