| 00:06:22 | * | shanoaice quit (Quit: The Lounge - https://thelounge.chat) |
| 00:06:57 | * | shanoaice joined #nim |
| 01:14:11 | * | Jjp137 quit (Quit: Leaving) |
| 01:20:50 | * | xet7 quit (Ping timeout: 248 seconds) |
| 01:23:20 | * | Jjp137 joined #nim |
| 01:33:09 | * | xet7 joined #nim |
| 03:07:25 | * | SandyUser joined #nim |
| 03:07:53 | * | SandyUser quit (Remote host closed the connection) |
| 04:10:29 | * | rockcavera joined #nim |
| 04:35:23 | FromDiscord | <mratsim> In reply to @demotomohiro "https://en.wikipedia.org/wiki/Universal_quantificat": that's a fun rabbithole |
| 04:39:40 | FromDiscord | <mratsim> sent a long message, see https://pasty.ee/lzGCxXfP |
| 04:39:58 | FromDiscord | <mratsim> (edit) "https://pasty.ee/SkGVXhPp" => "https://pasty.ee/BsoJYiDj" |
| 04:41:26 | FromDiscord | <tar> i like https://chawan.net |