Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-01-19 | Fix stdin for bloc files | Marvin Borner | |
Previous solution only worked for strings apparently. So now I'm reading byte by byte... | |||
2024-01-17 | Initial commit | Marvin Borner | |
index : marvinborner/BLoCade | |
:mermaid: The BLoC-aid for efficient targeted compilation of lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiff |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-01-19 | Fix stdin for bloc files | Marvin Borner | |
Previous solution only worked for strings apparently. So now I'm reading byte by byte... | |||
2024-01-17 | Initial commit | Marvin Borner | |