Newest at the top
| 2026-01-26 18:19:28 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-26 18:17:56 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1) |
| 2026-01-26 18:15:41 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-26 18:15:29 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 18:08:59 +0100 | Square3 | (~Square@user/square) Square |
| 2026-01-26 18:08:19 +0100 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2026-01-26 18:08:15 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-01-26 18:07:39 +0100 | Square3 | (~Square@user/square) Square |
| 2026-01-26 18:07:19 +0100 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2026-01-26 18:06:49 +0100 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2026-01-26 18:06:13 +0100 | Square3 | (~Square@user/square) Square |
| 2026-01-26 18:03:51 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-01-26 18:03:17 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-26 18:01:49 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-01-26 17:57:11 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-01-26 17:57:11 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-01-26 17:57:10 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |
| 2026-01-26 17:56:41 +0100 | st_aldini | (~Thunderbi@136.48.46.187) st_aldini |
| 2026-01-26 17:55:59 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) Tuplanolla |
| 2026-01-26 17:44:23 +0100 | hakutaku | (~textual@chen.yukari.eu.org) |
| 2026-01-26 17:39:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2026-01-26 17:36:49 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-01-26 17:34:18 +0100 | shr\ke | (~shrike@user/shrke:31298) (Ping timeout: 256 seconds) |
| 2026-01-26 17:29:39 +0100 | lucabtz | (~lucabtz@user/lucabtz) (Quit: Lost terminal) |
| 2026-01-26 17:05:09 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-01-26 17:02:38 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-01-26 16:53:34 +0100 | chele | (~chele@user/chele) chele |
| 2026-01-26 16:53:21 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-01-26 16:41:27 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> (and is not limited to type "T", but works for any type operator "k"; here it uses T and type pairs and it still fails even then) |
| 2026-01-26 16:40:25 +0100 | qqq | (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-26 16:38:33 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> that could probably be worked around by inserting something like "a_b ~ '(Fst a_b, Snd a_b)" into "h", but the point is, in general "h" comes from an external library and is not limited to type pairs and should not be changed for each type of arguments the users of the library may want to use it for |
| 2026-01-26 16:37:50 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:b685:3825:8bb0:ad7d) youngfrog |
| 2026-01-26 16:37:30 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:e244:f9d3:3752:93e5) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2026-01-26 16:36:36 +0100 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/xIMBotwOvnctkswZfetBzvsv/igMLrx_ztsQ (14 lines) |
| 2026-01-26 16:36:34 +0100 | <haskellbridge> | <Man of Letters (Mikolaj)> unfortunately, this failed in the wild at use of higher-order functions with quantified arguments, similarly as in |
| 2026-01-26 16:36:18 +0100 | karenw | (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2026-01-26 16:32:42 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-26 16:30:37 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-26 16:30:25 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 16:25:45 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-26 16:23:39 +0100 | trickard_ | trickard |
| 2026-01-26 16:22:03 +0100 | merijn | (~merijn@77.242.116.146) (Quit: leaving) |
| 2026-01-26 16:20:19 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-01-26 16:19:55 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-01-26 16:11:41 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-01-26 16:09:59 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-26 16:07:36 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2026-01-26 16:07:22 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-26 16:07:10 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-26 16:07:05 +0100 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Quit: fp) |