Age | Commit message (Expand) | Author |
---|---|---|
2024-02-16 | Added basic stdlib CI | Marvin Borner |
2023-04-08 | Various improvements to standard library docs | Marvin Borner |
2023-02-28 | Additions to std/ | Marvin Borner |
2023-02-26 | More std functions | Marvin Borner |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Expand) | Author |
---|---|---|
2024-02-16 | Added basic stdlib CI | Marvin Borner |
2023-04-08 | Various improvements to standard library docs | Marvin Borner |
2023-02-28 | Additions to std/ | Marvin Borner |
2023-02-26 | More std functions | Marvin Borner |