summaryrefslogtreecommitdiff
path: root/dhall/src/api
diff options
context:
space:
mode:
authorNadrieril2019-05-09 16:56:17 +0200
committerNadrieril2019-05-09 16:56:17 +0200
commitbf74436781a1304a937fb31a50c5495223468087 (patch)
tree06df62ab914c39e3572e9729c9b1088eec549741 /dhall/src/api
parent32051979778436ea02cb406551f126fe22ea1636 (diff)
Small utility SubExpr::from_builtin
Diffstat (limited to 'dhall/src/api')
0 files changed, 0 insertions, 0 deletions