diff options
author | Nadrieril | 2019-05-09 16:56:17 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-09 16:56:17 +0200 |
commit | bf74436781a1304a937fb31a50c5495223468087 (patch) | |
tree | 06df62ab914c39e3572e9729c9b1088eec549741 /dhall/src/api/mod.rs | |
parent | 32051979778436ea02cb406551f126fe22ea1636 (diff) |
Small utility SubExpr::from_builtin
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions