Age | Commit message (Expand) | Author |
---|---|---|
2023-02-24 | More reasonable defaults for REPL/editors | Marvin Borner |
2022-06-30 | Config, colors and completion | Marvin Borner |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Expand) | Author |
---|---|---|
2023-02-24 | More reasonable defaults for REPL/editors | Marvin Borner |
2022-06-30 | Config, colors and completion | Marvin Borner |