diff options
author | Nadrieril | 2020-11-02 23:08:09 +0000 |
---|---|---|
committer | Nadrieril | 2020-11-02 23:08:09 +0000 |
commit | f87ffe7a590c9e0a3e0a57854c739a0f89c3784d (patch) | |
tree | be20c038e555b29b03f52df80ca30f9f66fccd53 /dhall/src/semantics/tck/tir.rs | |
parent | afd7bcf5f58f4fe07f41d15728cecb8a42b67a46 (diff) |
fix: We now support dhall v19
Fixes #180
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions