Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-05-21 | Added additional optimizer | Marvin Borner | |
This will be useful for variadic index lengths | |||
2023-04-14 | pqueue lib and fixes | Marvin Borner | |
this makes everything dramatically faster |
index : marvinborner/BLoC | |
:sparkles: File format and optimizer for programs encoded in binary lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiff |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-05-21 | Added additional optimizer | Marvin Borner | |
This will be useful for variadic index lengths | |||
2023-04-14 | pqueue lib and fixes | Marvin Borner | |
this makes everything dramatically faster |