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/semantics | |
| 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 '')
0 files changed, 0 insertions, 0 deletions