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