diff options
author | Nadrieril | 2020-01-30 14:52:35 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-30 14:52:35 +0000 |
commit | 4c4ec8614b84d72fee4d765857325b73dad16183 (patch) | |
tree | d9bb55e9692eecaaa565a8fec9ec6b425b35059c /dhall/src/semantics/phase/resolve.rs | |
parent | 837298f26e07bb264a6b6f0286cbb811553b0477 (diff) |
Remove NF marker; it was premature optimization
Diffstat (limited to 'dhall/src/semantics/phase/resolve.rs')
0 files changed, 0 insertions, 0 deletions