diff options
author | Nadrieril | 2020-10-28 20:25:06 +0000 |
---|---|---|
committer | Nadrieril | 2020-10-28 22:52:41 +0000 |
commit | 5f3ca811f09dcf6f09fb9b60fcd2664d06762f39 (patch) | |
tree | 95c2e0f919ade0f26babe7f5084b491077d0db4e /dhall/src/semantics/nze/mod.rs | |
parent | 70727acbda68e104f60ae1dbbe95adbcec08a628 (diff) |
No need to escape underscores in pretty-printing
Diffstat (limited to 'dhall/src/semantics/nze/mod.rs')
0 files changed, 0 insertions, 0 deletions