Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-02-24 | Added verbose mode | Marvin Borner | |
Mainly for CI right now, might extend in the future. | |||
2024-02-22 | Hyperfine measurement | Marvin Borner | |
2024-02-16 | Added basic stdlib CI | Marvin Borner | |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-02-24 | Added verbose mode | Marvin Borner | |
Mainly for CI right now, might extend in the future. | |||
2024-02-22 | Hyperfine measurement | Marvin Borner | |
2024-02-16 | Added basic stdlib CI | Marvin Borner | |