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-lang | |
| parent | 9d3c0d6aa23e4123515a1d7e949fc71509db803c (diff) | |
Typecheck missing builtin cases
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions