diff options
| author | Nadrieril | 2020-01-24 21:32:48 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-24 21:32:48 +0000 |
| commit | 9e9b556ee2212540ba43d85249df8c763aa6da2b (patch) | |
| tree | e1b3f7657e560ca8aebc1833c60b24ed5f3a3705 /dhall/src/semantics/tck/typecheck.rs | |
| parent | a24f2d1367b2848779014c7bb3ecfe6bfbcff7d7 (diff) | |
Postpone fixing Foo/build builtins
Diffstat (limited to 'dhall/src/semantics/tck/typecheck.rs')
0 files changed, 0 insertions, 0 deletions