summaryrefslogtreecommitdiff
path: root/dhall/src/semantics
diff options
context:
space:
mode:
authorNadrieril2020-04-05 16:42:04 +0100
committerNadrieril2020-04-05 16:42:04 +0100
commit118c02d330865fcbfb1f2b0028f9404d61b662d8 (patch)
treed6ab6f280acd80c8d65dc351e857bbbffe0155d6 /dhall/src/semantics
parent797241ebec5cec686056b5da73864db8eab03d48 (diff)
Borrow type annotation
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions