summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril Feneanar2020-02-20 20:22:39 +0000
committerGitHub2020-02-20 20:22:39 +0000
commit92b5604c1049a771239a70ab14c393e8e1807c68 (patch)
tree73ffbfd6417da6b8c650ba17c40c376dc7b23c4a /dhall-lang
parentffbde252a850c7d96e1000e1be52792c41733a28 (diff)
parente5f0602e431bc602f9e1f0045f48056ce6465481 (diff)
Merge pull request #132 from Nadrieril/catchup-spec
Catchup spec
Diffstat (limited to 'dhall-lang')
m---------dhall-lang0
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject e2d08ebf5fb5770b57d0681131bed4289d0bb62
+Subproject 68c8aa875801355a319261c87b547b9a017df3c