summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-08-20 18:11:05 +0200
committerNadrieril2019-08-20 18:11:05 +0200
commitc157df5e66fb80ff6184cb3934e5b0883f0fdbf0 (patch)
treeca4fdec980b0286c06cd917583f9ca49cc9087fd /dhall-lang
parent4f1f37cfc115510500e83d2dfbfa8ed7ddeae74a (diff)
No need for Cow in return type of get_type
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions