Commit Graph

9 Commits

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