pingu

0 Followers · 0 Following

• Gothenburg, Sweden
• Joined on 2023-02-28

Repositories

16

Projects Packages Public Activity Starred Repositories

1

pingu pushed to main at pingu/GoodList 2024-03-01 10:22:28 +00:00

9437f47ff7 η reduce

pingu pushed to main at pingu/GoodList 2024-03-01 10:19:17 +00:00

ca0fea108f simpler append function

pingu pushed to main at pingu/GoodList 2024-02-29 18:02:32 +00:00

604206776f Monad, probs

pingu pushed to main at pingu/GoodList 2024-02-29 17:45:22 +00:00

011050fe3a Monad?

pingu pushed to main at pingu/GoodList 2024-02-29 17:45:15 +00:00

1f75548a72 Monad?

pingu pushed to main at pingu/GoodList 2024-02-29 17:44:48 +00:00

897ae2da62 Monad?

pingu pushed to main at pingu/GoodList 2024-02-29 17:25:28 +00:00

dd3c3b1d9e formatting is my passion

pingu pushed to main at pingu/GoodList 2024-02-29 17:23:25 +00:00

0d3fb79f54 formatting is my passion

pingu pushed to main at pingu/GoodList 2024-02-29 17:13:58 +00:00

d99f7b814a A start

pingu pushed to main at pingu/GoodList 2024-02-29 17:08:21 +00:00

9e00de79cf A start

pingu pushed to main at pingu/GoodList 2024-02-29 12:08:25 +00:00

908d24a712 Setup

pingu pushed to main at pingu/GoodList 2024-02-29 12:03:34 +00:00

8c94b9ad52 Setup

pingu created repository pingu/GoodList 2024-02-29 11:57:01 +00:00

pingu pushed to master at pingu/SquidCounter 2024-02-27 21:36:24 +00:00

de73c71490 Added a license

pingu pushed to master at pingu/SquidCounter 2024-02-27 21:30:11 +00:00

bd4fe8fc62 Initial commit

pingu created branch master in pingu/SquidCounter 2024-02-27 21:30:11 +00:00

pingu created repository pingu/SquidCounter 2024-02-27 21:29:05 +00:00

pingu pushed to main at pingu/blog 2023-12-22 18:34:57 +00:00

a98e3a4d42 Mjapp, new post

pingu pushed to main at pingu/Serene 2023-12-10 20:41:20 +00:00

b79b7e8bc7 Mjapp

pingu pushed to main at pingu/Serene 2023-12-10 20:13:06 +00:00

50fae9f452 Initial commit