summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/nze/normalize.rs
diff options
context:
space:
mode:
authorBasile Henry2020-11-03 23:58:28 +0100
committerGitHub2020-11-03 23:58:28 +0100
commit71c8e889610b8b9bb6155c20ca91bac4ebc9daee (patch)
tree8cd7429e654d31b9fbc68a97d71db92e7571c08a /dhall/src/semantics/nze/normalize.rs
parentf87ffe7a590c9e0a3e0a57854c739a0f89c3784d (diff)
parenta56cd6021705ebfd310bc902c4f549bea9b06a5b (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