diff options
author | Nadrieril | 2020-04-12 11:27:36 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-12 11:27:36 +0100 |
commit | 338c381a24e4ad9c88f2dccfc57b2d3ff633c24a (patch) | |
tree | c4e737f5eb6aa5b9670d030c93a0096aadd1cc8b /dhall/src/semantics/tck | |
parent | feb6fdbc4e1bb6a168175f80f36cb18a04f13a9c (diff) |
Issue #162 was fixed in a2132cc
Diffstat (limited to 'dhall/src/semantics/tck')
0 files changed, 0 insertions, 0 deletions