Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 983f91f981 format main pingu 2024-03-01 11:24:37 +01:00
• 9437f47ff7 η reduce pingu 2024-03-01 11:22:15 +01:00
• ca0fea108f simpler append function pingu 2024-03-01 11:19:08 +01:00
• 604206776f Monad, probs pingu 2024-02-29 19:02:20 +01:00
• 011050fe3a Monad? pingu 2024-02-29 18:44:41 +01:00
• dd3c3b1d9e formatting is my passion pingu 2024-02-29 18:23:17 +01:00
• d99f7b814a A start pingu 2024-02-29 18:08:13 +01:00
• 908d24a712 Setup pingu 2024-02-29 13:03:15 +01:00
• 9264a786cb Initial commit pingu 2024-02-29 11:57:01 +00:00