diff options
| author | Nadrieril | 2019-05-05 01:44:20 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-05 01:44:20 +0200 |
| commit | 699cc6e23a4fe867abfb63129923e548436f9dea (patch) | |
| tree | cf54f0a76d2e3dcbeb20ba38093e8d4f1e92ec84 /dhall/src/phase | |
| parent | 186505f9da55097bd10dbe998975e725a53fa78a (diff) | |
Preserve text WHNF on concatenation
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions