Age | Commit message (Expand) | Author |
---|---|---|
2024-01-18 | More efficient str→blc | Marvin Borner |
2023-11-06 | Minor general additions | Marvin Borner |
2023-10-15 | Universal machine interpreter | Marvin Borner |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Expand) | Author |
---|---|---|
2024-01-18 | More efficient str→blc | Marvin Borner |
2023-11-06 | Minor general additions | Marvin Borner |
2023-10-15 | Universal machine interpreter | Marvin Borner |