Newest at the top
| 2024-09-27 11:29:14 +0200 | p3n | (~p3n@217.198.124.246) p3n |
| 2024-09-27 11:27:15 +0200 | kimiamania2 | kimiamania |
| 2024-09-27 11:27:15 +0200 | kimiamania | (~65804703@user/kimiamania) (Ping timeout: 246 seconds) |
| 2024-09-27 11:27:13 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-27 11:25:43 +0200 | kimiamania2 | (~65804703@user/kimiamania) kimiamania |
| 2024-09-27 11:25:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 11:14:20 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Ping timeout: 272 seconds) |
| 2024-09-27 11:11:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-27 11:09:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-27 11:08:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-09-27 11:07:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 11:05:32 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2024-09-27 11:04:37 +0200 | auri | (~auri@fsf/member/auri) auri |
| 2024-09-27 11:04:18 +0200 | <Inst> | i'm wondering if other comonads for NonEmpty exist |
| 2024-09-27 11:04:07 +0200 | auri_ | (~auri@fsf/member/auri) () |
| 2024-09-27 11:03:50 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-09-27 11:01:52 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2024-09-27 10:58:00 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-27 10:55:46 +0200 | poxel | (~lennart@user/poxel) poxel |
| 2024-09-27 10:55:27 +0200 | poxel | (~lennart@user/poxel) (Client Quit) |
| 2024-09-27 10:52:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-27 10:51:56 +0200 | poxel | (~lennart@user/poxel) poxel |
| 2024-09-27 10:51:14 +0200 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.4.2) |
| 2024-09-27 10:47:08 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 10:45:29 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2024-09-27 10:43:18 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2024-09-27 10:42:34 +0200 | poxel | (~lennart@user/poxel) poxel |
| 2024-09-27 10:42:34 +0200 | poxel | (~lennart@2a02:908:1472:4f60::720) (Changing host) |
| 2024-09-27 10:41:17 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-27 10:37:20 +0200 | wizardng | (uid599328@id-599328.hampstead.irccloud.com) |
| 2024-09-27 10:35:05 +0200 | <Inst> | dibblego: yes, since nonempty can't admit an empty element |
| 2024-09-27 10:33:18 +0200 | euandreh | (~Thunderbi@189.6.105.228) (Quit: euandreh) |
| 2024-09-27 10:32:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 10:31:11 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-09-27 10:26:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 10:17:27 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-09-27 10:11:58 +0200 | causal | (~eric@50.35.88.207) causal |
| 2024-09-27 10:09:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-27 10:04:59 +0200 | poxel | (~lennart@2a02:908:1472:4f60::720) |
| 2024-09-27 10:04:02 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-09-27 10:03:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-27 09:58:39 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2024-09-27 09:56:59 +0200 | misterfish | (~misterfis@046044172198.static.ipv4.heldenvannu.net) misterfish |
| 2024-09-27 09:52:20 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-09-27 09:49:59 +0200 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 260 seconds) |
| 2024-09-27 09:42:11 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-09-27 09:41:51 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-09-27 09:41:09 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2024-09-27 09:36:54 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 252 seconds) |
| 2024-09-27 09:34:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |