diff options
author | Basile Henry | 2020-11-03 23:58:28 +0100 |
---|---|---|
committer | GitHub | 2020-11-03 23:58:28 +0100 |
commit | 71c8e889610b8b9bb6155c20ca91bac4ebc9daee (patch) | |
tree | 8cd7429e654d31b9fbc68a97d71db92e7571c08a /dhall/src/semantics/tck/tir.rs | |
parent | f87ffe7a590c9e0a3e0a57854c739a0f89c3784d (diff) | |
parent | a56cd6021705ebfd310bc902c4f549bea9b06a5b (diff) |
Merge pull request #191 from basile-henry/text-replace
Allow `Text/replace ` to support an abstract haystack
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions