summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2020-04-11 17:30:53 +0100
committerGitHub2020-04-11 17:30:53 +0100
commitfeb6fdbc4e1bb6a168175f80f36cb18a04f13a9c (patch)
tree1b10e9fe2f27b352bf5f37be1f7383f50ee429c6 /dhall-lang
parentf78da0fb1f338123a226ec4d576b5329fffb5148 (diff)
parent8ccbfcd1f7f7325c034f23a2cf943710ecb73337 (diff)
Merge pull request #161 from Nadrieril/catchup-spec
Move to v15 of the standard
Diffstat (limited to '')
m---------dhall-lang0
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject 99d84e47ed9c64cee9c48212ca8f2af9320cdda
+Subproject a53a620df888b97fe23598356be7157bda0c8e2