summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck/env.rs
diff options
context:
space:
mode:
authorNadrieril Feneanar2020-02-06 17:05:30 +0000
committerGitHub2020-02-06 17:05:30 +0000
commitce289aeb3db3085a327e3a509f69edcea0f86be0 (patch)
tree1f60a5f9007fc8a6df15873e55bf46ed2bd4ec26 /dhall/src/semantics/tck/env.rs
parenteb9129312edf574948df777acb340189dc147724 (diff)
parentc27d8ff15988b914d21135dadffe9871441c127f (diff)
Merge pull request #129 from Nadrieril/missing-features
Implement some missing features
Diffstat (limited to 'dhall/src/semantics/tck/env.rs')
0 files changed, 0 insertions, 0 deletions