Age | Commit message (Expand) | Author |
---|---|---|
2024-01-21 | Configurable minimum tree sizeHEADmain | Marvin Borner |
2023-05-17 | General improvements | Marvin Borner |
2023-04-17 | Added logging and verbosity flag | Marvin Borner |
index : marvinborner/BLoC | |
:sparkles: File format and optimizer for programs encoded in binary lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiff |
Age | Commit message (Expand) | Author |
---|---|---|
2024-01-21 | Configurable minimum tree sizeHEADmain | Marvin Borner |
2023-05-17 | General improvements | Marvin Borner |
2023-04-17 | Added logging and verbosity flag | Marvin Borner |