Newest at the top
| 2025-03-31 15:47:48 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-31 15:47:33 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 15:41:13 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 15:38:27 +0200 | internatetional | (~nate@2400:9800:d:fb6:1:0:8dba:4857) (Ping timeout: 252 seconds) |
| 2025-03-31 15:36:42 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-31 15:35:57 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-03-31 15:33:07 +0200 | srk | (~sorki@user/srk) srk |
| 2025-03-31 15:32:30 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-03-31 15:20:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6) (Ping timeout: 248 seconds) |
| 2025-03-31 15:15:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:6039:ea11:94ce:5df6) |
| 2025-03-31 15:07:43 +0200 | internatetional | (~nate@2400:9800:d:fb6:1:0:8dba:4857) internatetional |
| 2025-03-31 15:01:41 +0200 | sprotte24 | (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-03-31 15:00:53 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 14:56:21 +0200 | <hellwolf> | Identity Iso. |
| 2025-03-31 14:56:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:bfb1:8756:886a:fcf7) (Quit: xff0x) |
| 2025-03-31 14:55:53 +0200 | <hellwolf> | 03-31 10:51 <EvanR> you mean f = Identity ? Ah, that makes sense. So without function constraint would be equivalent to Iso with identity functor. |
| 2025-03-31 14:53:46 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-31 14:51:01 +0200 | hurk | (~user@9.47.7.51.dyn.plus.net) (Remote host closed the connection) |
| 2025-03-31 14:49:34 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) |
| 2025-03-31 14:48:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-03-31 14:46:54 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-03-31 14:39:36 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) |
| 2025-03-31 14:32:27 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-03-31 14:30:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-03-31 14:29:50 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-31 14:26:20 +0200 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-03-31 14:24:17 +0200 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-03-31 14:21:12 +0200 | jespada | (~jespada@2800:a4:2219:3d00:3c5d:9220:9de:e877) jespada |
| 2025-03-31 14:14:11 +0200 | sprotte24 | (~sprotte24@p200300d16f24f500b1cefbd2da3b16f9.dip0.t-ipconnect.de) |
| 2025-03-31 14:13:20 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-03-31 14:10:28 +0200 | rit | (~rit@2409:40e0:101e:3313:4dd3:5aa1:e851:e0f) (Remote host closed the connection) |
| 2025-03-31 14:06:36 +0200 | hurk | (~user@9.47.7.51.dyn.plus.net) |
| 2025-03-31 14:05:54 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-31 14:04:10 +0200 | malte | (~malte@mal.tc) malte |
| 2025-03-31 14:04:02 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-31 14:01:22 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-03-31 14:00:43 +0200 | hattckory | (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 2025-03-31 13:53:18 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-31 13:47:03 +0200 | internatetional | (~nate@2400:9800:340:7034:1:0:8d4b:9648) (Ping timeout: 276 seconds) |
| 2025-03-31 13:45:11 +0200 | hellwolf | (~user@d446-ae4d-8e8d-4d2f-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-03-31 13:44:22 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-31 13:41:09 +0200 | srk | (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 2025-03-31 13:40:05 +0200 | hellwolf | (~user@172a-40ae-6125-5458-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds) |
| 2025-03-31 13:39:19 +0200 | internatetional | (~nate@2400:9800:340:7034:1:0:8d4b:9648) internatetional |
| 2025-03-31 13:38:44 +0200 | <haskellbridge> | <alexfmpe> [exa]: bimap (+) (+) |
| 2025-03-31 13:37:48 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-03-31 13:31:57 +0200 | img | (~img@user/img) img |
| 2025-03-31 13:30:34 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-03-31 13:26:16 +0200 | tromp | (~textual@2001:1c00:3487:1b00:29bc:7fae:9d9f:d545) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-03-31 13:23:57 +0200 | toby-bro | (~toby-bro@user/toby-bro) toby-bro |