File tree
11 files changed
+44
-7
lines changed- dhall
- dhall-docs
- dhall-json
- dhall-lsp-server
- dhall-nix
- dhall-openapi
- dhall-toml
11 files changed
+44
-7
lines changedLines changed: 8 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
1 | 9 |
| |
2 | 10 |
| |
3 | 11 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
| 2 | + | |
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
|
Lines changed: 4 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
1 | 5 |
| |
2 | 6 |
| |
3 | 7 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
| 2 | + | |
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
| 2 | + | |
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
|
Lines changed: 5 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
1 | 6 |
| |
2 | 7 |
| |
3 | 8 |
| |
|
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 |
| - | |
| 2 | + | |
3 | 3 |
| |
4 | 4 |
| |
5 | 5 |
| |
|
Lines changed: 20 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
1 | 21 |
| |
2 | 22 |
| |
3 | 23 |
| |
|
Submodule dhall-lang updated 38 files
- .github/CONTRIBUTING.md+4-4
- CHANGELOG.md+30-2
- Prelude/Function/compose.dhall+6-6
- Prelude/Function/composeList+3
- Prelude/Function/composeList.dhall+35
- Prelude/Function/package.dhall+4
- Prelude/Map/mapMaybe.dhall+1-1
- Prelude/package.dhall+1-1
- docs/discussions/Dhall-in-production.md-4
- docs/discussions/Programmable-configuration-files.md+1-1
- docs/howtos/Cheatsheet.md+5-1
- docs/howtos/How-to-translate-recursive-code-to-Dhall.md+1.1k-153
- docs/references/Built-in-types.md+117-14
- docs/tutorials/Language-Tour.md+19-1
- docs/tutorials/index.md+1-1
- nixops/index.html+121-121
- nixops/logical.nix+6-4
- nixops/packages/Prelude_23_0_0.nix+15
- nixops/store.nix+1
- standard/Parser.hs+8-1
- standard/README.md+3-3
- standard/beta-normalization.md+29-12
- standard/binary.md+1-1
- standard/dhall.abnf+11-5
- standard/function-check.md+1-1
- standard/imports.md+9-9
- standard/substitution.md+9-9
- standard/type-inference.md+168-11
- standard/versioning.md+1-1
- tests/README.md+4-2
- tests/import/success/unit/ImportRelativeToHomeB.dhall+1-1
- tests/parser/success/binaryA.dhall+8
- tests/parser/success/binaryB.dhallb
- tests/parser/success/binaryB.diag+1
- tests/parser/success/builtinsA.dhall+1
- tests/parser/success/builtinsB.dhallb+1-1
- tests/parser/success/builtinsB.diag+1-1
- tests/type-inference/success/preludeB.dhall+8-7
Lines changed: 1 addition & 1 deletion
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 | 1 |
| |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
4 | 4 |
| |
5 | 5 |
| |
6 | 6 |
| |
|
0 commit comments