diff options
| author | Nadrieril | 2021-02-04 16:11:56 +0000 |
|---|---|---|
| committer | Nadrieril | 2021-02-04 16:11:56 +0000 |
| commit | 257b57c616de78c646f38d75e3487754499e9ba5 (patch) | |
| tree | 612a9be03cdac5a358b25de17c0cd3f0b6ddd4a8 /dhall-lang | |
| parent | 8224d1be94ddbb5685c08bf0a97a73029755ac3b (diff) | |
spec: support dhall v20
Diffstat (limited to 'dhall-lang')
| m--------- | dhall-lang | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang -Subproject b2344e922a3cebc4f5b055abe52d3ec50be6eab +Subproject 51b9effa64acb8829011353926686fb190144c3 |