Age | Commit message (Expand) | Author |
---|---|---|
2024-06-07 | Some more work on monads | Marvin Borner |
2024-03-23 | Some Project Euler solutions | Marvin Borner |
2023-10-06 | Fun with monads | Marvin Borner |
2023-03-05 | Monadic list/io interface | Marvin Borner |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Expand) | Author |
---|---|---|
2024-06-07 | Some more work on monads | Marvin Borner |
2024-03-23 | Some Project Euler solutions | Marvin Borner |
2023-10-06 | Fun with monads | Marvin Borner |
2023-03-05 | Monadic list/io interface | Marvin Borner |