summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/typecheck.rs
diff options
context:
space:
mode:
authorNadrieril2020-02-09 20:06:44 +0000
committerNadrieril2020-02-09 20:13:06 +0000
commite4b3a879907b6dcc75d25847ae21a23d0201aae1 (patch)
treedfc1c53498e63f7e05b3407c1facd098c76888ef /dhall/src/semantics/tck/typecheck.rs
parent75889ac64e2d04dfd7c00fc59e29e4530e69cc9a (diff)
Upgrade Rust toolchain
Diffstat (limited to 'dhall/src/semantics/tck/typecheck.rs')
0 files changed, 0 insertions, 0 deletions