Skip to content

Commit

Permalink
update dhall master
Browse files Browse the repository at this point in the history
  • Loading branch information
sergei.winitzki committed Nov 20, 2023
1 parent a4d315d commit 79a2eb8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dhall-lang
Submodule dhall-lang updated 14 files
+2 −2 CHANGELOG.md
+4 −0 docs/howtos/Cheatsheet.md
+20 −0 docs/references/Built-in-types.md
+7 −1 docs/tutorials/Language-Tour.md
+8 −1 standard/Parser.hs
+3 −3 standard/README.md
+1 −1 standard/binary.md
+10 −5 standard/dhall.abnf
+1 −1 standard/function-check.md
+1 −1 standard/substitution.md
+1 −1 standard/type-inference.md
+8 −0 tests/parser/success/binaryA.dhall
+ − tests/parser/success/binaryB.dhallb
+1 −0 tests/parser/success/binaryB.diag

0 comments on commit 79a2eb8

Please sign in to comment.