diff options
author | Nadrieril | 2020-10-24 15:37:52 +0100 |
---|---|---|
committer | GitHub | 2020-10-24 15:37:52 +0100 |
commit | d9e42ea1fe16fc9f16a390f2dac2713e691b2700 (patch) | |
tree | e5bae5c7a70f2c3721baf2e8a4c3683c5dfb71dc /dhall/src/builtins.rs | |
parent | 41b303c00392571fe8c862041b811f7716e38b57 (diff) | |
parent | 34a4727366e8efb4f9d51c9f636ebcda580173b0 (diff) |
Merge pull request #183 from io12/pub-simple-value
Make SimpleValue public and add from_simple_value()
Diffstat (limited to 'dhall/src/builtins.rs')
0 files changed, 0 insertions, 0 deletions