Age | Commit message (Expand) | Author |
---|---|---|
2023-11-02 | Improved kate syntax highlighting | Marvin Borner |
2023-06-17 | Removed redundant line | Marvin Borner |
2023-06-04 | Added syntax highlighting for Kate | Marvin Borner |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Expand) | Author |
---|---|---|
2023-11-02 | Improved kate syntax highlighting | Marvin Borner |
2023-06-17 | Removed redundant line | Marvin Borner |
2023-06-04 | Added syntax highlighting for Kate | Marvin Borner |