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/tck/typecheck.rs | |
| parent | 837298f26e07bb264a6b6f0286cbb811553b0477 (diff) | |
Remove NF marker; it was premature optimization
Diffstat (limited to 'dhall/src/semantics/tck/typecheck.rs')
0 files changed, 0 insertions, 0 deletions