diff options
| author | Marvin Borner | 2023-05-22 12:31:05 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-05-22 12:31:05 +0200 |
| commit | c1ce8eb719a95b22fea8e6220bf407d2eb7447b3 (patch) | |
| tree | cdec2e905982e196cfb9e5b5c60d6c9d96666f92 /src/tree.c | |
| parent | cbb215c7f8f78f0a54c22fa90569733bef05907e (diff) | |
Changed order of abstraction and application encodings
This gives some minor space improvements as almost all abstractions
imply a following application but not so much with applications.
At least by case-analysis :)
Diffstat (limited to 'src/tree.c')
0 files changed, 0 insertions, 0 deletions