Logs: liberachat/#haskell
| 2025-11-17 01:55:17 | <lambdabot> | Consider it noted. |
| 2025-11-17 01:55:37 | <geekosaur> | …my Spanish isn't quite up to that, sadly |
| 2025-11-17 01:55:38 | × | synchromesh quits (~john@2406:5a00:2412:2c00:8dbb:1671:af24:f03b) (Read error: Connection reset by peer) |
| 2025-11-17 01:55:57 | → | otto_s joins (~user@p5de2f6bf.dip0.t-ipconnect.de) |
| 2025-11-17 01:57:05 | → | synchromesh joins (~john@2406:5a00:2412:2c00:71c7:e357:fc79:c8b6) |
| 2025-11-17 01:57:18 | → | looking joins (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) |
| 2025-11-17 01:59:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 02:00:57 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-17 02:01:10 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-17 02:04:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 02:05:55 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-17 02:06:18 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-17 02:06:24 | → | myxokephale joins (~myxos@2001:579:8380:f20:23b:d085:c827:a3cf) |
| 2025-11-17 02:09:20 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 2025-11-17 02:09:27 | × | myxos quits (~myxos@2001:579:8380:f20:abb:2847:db49:d417) (Ping timeout: 252 seconds) |
| 2025-11-17 02:15:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 02:19:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-17 02:30:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 02:35:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-17 02:37:50 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-17 02:38:08 | → | trickard_ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-17 02:46:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 02:51:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 02:57:40 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 255 seconds) |
| 2025-11-17 03:02:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 03:02:57 | → | trickard__ joins (~trickard@cpe-63-98-47-163.wireline.com.au) |
| 2025-11-17 03:04:49 | × | trickard_ quits (~trickard@cpe-63-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-11-17 03:09:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 03:11:32 | × | looking quits (~looking@2600:4040:2678:9600:b1c4:ced3:242d:1252) (Quit: Client closed) |
| 2025-11-17 03:15:40 | × | bggd quits (~bgg@2a01:e0a:819:1510:c9b2:3583:8eb1:f3ee) (Remote host closed the connection) |
| 2025-11-17 03:20:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 03:24:34 | × | td_ quits (~td@i5387093F.versanet.de) (Ping timeout: 256 seconds) |
| 2025-11-17 03:25:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-17 03:26:28 | → | td_ joins (~td@i53870917.versanet.de) |
| 2025-11-17 03:29:20 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-11-17 03:32:45 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-17 03:36:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 03:40:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 03:51:01 | <haskellbridge> | <slack1256> Computaciones monadicas con estructura aplicativo |
| 2025-11-17 03:51:30 | <haskellbridge> | <slack1256> Los teoremas de punto fijo |
| 2025-11-17 03:51:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 03:52:54 | <haskellbridge> | <slack1256> Imaginaos si jaskell usará clase en vez de class o si usará lambdala en vez de lambda jajaa |
| 2025-11-17 03:56:00 | <geekosaur> | they left some time ago, that's why I used @tell |
| 2025-11-17 03:56:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 04:07:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 04:10:40 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-17 04:12:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 04:22:10 | → | mange joins (~mange@user/mange) |
| 2025-11-17 04:23:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 04:24:21 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-11-17 04:26:14 | → | vardhan joins (~vardhan@122.172.80.68) |
| 2025-11-17 04:26:55 | → | sansk joins (~sansk@user/sansk) |
| 2025-11-17 04:28:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-17 04:31:10 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 2025-11-17 04:31:28 | → | olivial joins (~benjaminl@user/benjaminl) |
| 2025-11-17 04:39:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 04:39:35 | × | sansk quits (~sansk@user/sansk) (Quit: WeeChat 4.7.1) |
| 2025-11-17 04:45:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-17 04:51:46 | × | qqe quits (~qqq@185.54.21.140) (Quit: Lost terminal) |
| 2025-11-17 04:56:48 | → | rekahsoft joins (~rekahsoft@70.51.99.245) |
| 2025-11-17 04:57:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 04:57:25 | → | qqe joins (~qqq@185.54.21.140) |
| 2025-11-17 04:59:19 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-11-17 05:02:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-17 05:02:42 | → | bggd joins (~bgg@2a01:e0a:819:1510:9f9:43a8:4a1a:b6f1) |
| 2025-11-17 05:03:07 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-11-17 05:12:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 05:13:13 | trickard__ | is now known as trickard |
| 2025-11-17 05:18:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 05:18:58 | × | mange quits (~mange@user/mange) (Remote host closed the connection) |
| 2025-11-17 05:27:09 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-11-17 05:38:11 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-11-17 05:39:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2025-11-17 05:40:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 05:41:33 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-17 05:43:13 | × | pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
| 2025-11-17 05:44:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-17 05:46:29 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-17 05:48:24 | → | emmanuelux_ joins (~emmanuelu@user/emmanuelux) |
| 2025-11-17 05:50:02 | → | Nachtgespenst_ joins (~user@user/siracusa) |
| 2025-11-17 05:50:08 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-11-17 05:50:24 | → | tomsmeding_ joins (~tomsmedin@user/tomsmeding) |
| 2025-11-17 05:51:28 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-11-17 05:51:36 | → | AlexZenon_2 joins (~alzenon@178.34.151.158) |
| 2025-11-17 05:51:54 | → | haskellbridge_ joins (~hackager@96.28.224.214) |
| 2025-11-17 05:51:54 | ChanServ | sets mode +v haskellbridge_ |
| 2025-11-17 05:52:32 | → | raym_ joins (~ray@user/raym) |
| 2025-11-17 05:53:01 | → | td__ joins (~td@i53870917.versanet.de) |
| 2025-11-17 05:53:22 | → | int-e_ joins (~noone@int-e.eu) |
| 2025-11-17 05:53:25 | → | lbseale_ joins (~quassel@user/ep1ctetus) |
| 2025-11-17 05:53:36 | → | op_4_ joins (~tslil@2a01:4f8:c0c:7952::1) |
| 2025-11-17 05:55:29 | → | kaankeskin2 joins (~kaankeski@user/kaankeskin) |
| 2025-11-17 05:55:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-17 05:56:07 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-11-17 05:56:40 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-11-17 05:56:40 | × | haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 | × | Fijxu_ quits (~Fijxu@user/fijxu) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 | × | rekahsoft quits (~rekahsoft@70.51.99.245) (Ping timeout: 256 seconds) |
| 2025-11-17 05:56:41 | × | td_ quits (~td@i53870917.versanet.de) (Ping timeout: 256 seconds) |
All times are in UTC.