summaryrefslogtreecommitdiff
path: root/dhall/src/builtins.rs
diff options
context:
space:
mode:
authorNadrieril2020-12-06 22:52:50 +0000
committerNadrieril2020-12-07 19:34:38 +0000
commit9991bd4891774c4dd598decae02ee860554d2ab7 (patch)
tree979cd6ce03dd4fd0673ae4471334ff0ea79dbccc /dhall/src/builtins.rs
parent3a623acaf70c934ee9dbd74dfadcaa2c612160c5 (diff)
Improve ergonomics of `Ctxt`
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions