diff options
| author | Marvin Borner | 2023-07-30 21:20:22 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-07-30 21:20:22 +0200 |
| commit | 000d0a5b9b0e6b1297c36ef98cc66c21a4ce2ea0 (patch) | |
| tree | 41f44e0dc5f145d6821dc33f34dbcd150739a037 /bruijn.cabal | |
| parent | f24d3960976eeb9633889721f79c7b2f978d74b5 (diff) | |
Fixed length evaluation order
Without this, the BLC length of the unreduced version of huge
expressions will not be shown until reduction is finished. This was
obviously wrong.
Diffstat (limited to 'bruijn.cabal')
0 files changed, 0 insertions, 0 deletions