diff options
author | Nadrieril | 2019-05-02 17:31:28 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-02 17:31:28 +0200 |
commit | c31600fa689c97f3a19bc6a152cb8d13eb64f5d1 (patch) | |
tree | 7f502dbd2d69a45c7e49ecad608d74144fabda7d /dhall/tests/traits.rs | |
parent | 9d3c0d6aa23e4123515a1d7e949fc71509db803c (diff) |
Typecheck missing builtin cases
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions