Newest at the top
| 2026-01-14 17:09:03 +0100 | <Enrico63> | I'm studying Thinking with Types, and the chapter on existentials talks about Dynamic and Typeable, so I was navigating docs to help getting my head around this stuff. |
| 2026-01-14 17:07:53 +0100 | <Enrico63> | Hi there. Question about doc/discoverability: is it expected that "Typeable" at the bottom of https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Data-Dynamic.html does not link to https://hackage-content.haskell.org/package/base-4.22.0.0/docs/Data-Typeable.html#t:Typeable ? |
| 2026-01-14 17:07:38 +0100 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-14 17:06:46 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-01-14 17:06:18 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2026-01-14 17:00:24 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-01-14 16:57:33 +0100 | danza | (~danza@user/danza) (Ping timeout: 256 seconds) |
| 2026-01-14 16:55:19 +0100 | danz83480 | (~danza@user/danza) danza |
| 2026-01-14 16:54:53 +0100 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-14 16:52:21 +0100 | Googulator | (~Googulato@188-143-74-52.pool.digikabel.hu) |
| 2026-01-14 16:47:17 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-01-14 16:44:58 +0100 | Enrico63 | (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) Enrico63 |
| 2026-01-14 16:44:52 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-01-14 16:39:38 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2026-01-14 16:36:01 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2026-01-14 16:05:03 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-01-14 16:04:12 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-01-14 16:01:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-01-14 15:54:33 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-01-14 15:50:19 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2026-01-14 15:40:35 +0100 | Guest83 | (~Guest83@211.215.174.214) () |
| 2026-01-14 15:38:23 +0100 | Guest83 | (~Guest83@211.215.174.214) |
| 2026-01-14 15:32:30 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2026-01-14 15:31:49 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-14 15:30:51 +0100 | trickard | (~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2026-01-14 15:30:48 +0100 | olunio | (~olunio@46.151.188.110) () |
| 2026-01-14 15:30:39 +0100 | danza | (~danza@user/danza) danza |
| 2026-01-14 15:25:34 +0100 | olunio | (~olunio@46.151.188.110) |
| 2026-01-14 15:22:15 +0100 | trickard_ | trickard |
| 2026-01-14 15:20:50 +0100 | nitrix_ | nitrix |
| 2026-01-14 15:18:36 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-14 15:18:23 +0100 | trickard | (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-14 15:14:43 +0100 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 264 seconds) |
| 2026-01-14 15:13:40 +0100 | nitrix_ | (~nitrix@user/meow/nitrix) nitrix |
| 2026-01-14 15:11:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:e84f:e407:7aee:4080) |
| 2026-01-14 14:57:57 +0100 | mauke | (~mauke@user/mauke) mauke |
| 2026-01-14 14:55:05 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2026-01-14 14:55:04 +0100 | Enrico63 | (~Enrico63@2001:b07:646b:5fed:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2026-01-14 14:54:49 +0100 | preflex | (~preflex@user/mauke/bot/preflex) preflex |
| 2026-01-14 14:53:15 +0100 | preflex | (~preflex@user/mauke/bot/preflex) (Ping timeout: 245 seconds) |
| 2026-01-14 14:52:54 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2026-01-14 14:52:02 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2026-01-14 14:52:00 +0100 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2026-01-14 14:49:51 +0100 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2026-01-14 14:40:30 +0100 | qqq | (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 2026-01-14 14:34:18 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2026-01-14 14:32:26 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-01-14 14:31:51 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: leaving) |
| 2026-01-14 14:31:38 +0100 | fp | (~Thunderbi@130.233.70.149) fp |
| 2026-01-14 14:30:09 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:6135:a28e:b853:ee07) synchromesh |