| 2026-06-22 00:04:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 00:08:27 +0000 | schuelermine | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-06-22 00:09:46 +0000 | foul_owl | (~kerry@94.156.149.95) (Ping timeout: 244 seconds) |
| 2026-06-22 00:09:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-22 00:12:38 +0000 | foul_owl | (~kerry@94.156.149.95) foul_owl |
| 2026-06-22 00:13:13 +0000 | <geekosaur> | define "coherent" |
| 2026-06-22 00:13:37 +0000 | <geekosaur> | I mean, the usual point of fundeps is to make it possible to use MPTCs without needing to specify the exact type everywhere, isn't it? |
| 2026-06-22 00:16:09 +0000 | <EvanR> | ok so inference works with multiparameter typeclass? or so polymorphism works at all |
| 2026-06-22 00:16:55 +0000 | <geekosaur> | inference, I think; it gives a hint as to the type it can't otherwise infer |
| 2026-06-22 00:17:57 +0000 | <EvanR> | I'll have to try fundepless MPTC and see what's possible |
| 2026-06-22 00:21:10 +0000 | <monochrom> | Consider "class Convert a b where convert :: a -> b". Then I can have "instance Convert Bool Int", "instance Convert Bool String", "instance Convert Int Bool", "instance Convert Int String", ... Nothing is inferrable, if I call "convert x" then someone must tell the compiler what's x's type and what's the codomain. |
| 2026-06-22 00:22:41 +0000 | bgamari | (~bgamari@64.223.132.8) (Ping timeout: 244 seconds) |
| 2026-06-22 00:22:44 +0000 | <EvanR> | unless you call convert x in context where source and target type are known |
| 2026-06-22 00:22:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 00:23:35 +0000 | <monochrom> | Whereas if I have "class Containership container element | container -> element" then an example instance will be "instance Containership [a] a" and when I call methods I only need to spell out the container type. |
| 2026-06-22 00:24:23 +0000 | <monochrom> | which was exactly the use case back when Okasaki etc wrote data structure container libraries eg edison. |
| 2026-06-22 00:25:17 +0000 | <monochrom> | Today people consider type families instead. class Container c where type Elem c |
| 2026-06-22 00:27:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-22 00:31:05 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-06-22 00:38:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 00:38:38 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2026-06-22 00:40:28 +0000 | xff0x | (~xff0x@2405:6580:b080:900:276e:9a01:f3d4:3fcb) (Ping timeout: 276 seconds) |
| 2026-06-22 00:42:32 +0000 | czan | (~czan@user/mange) czan |
| 2026-06-22 00:43:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-22 00:45:26 +0000 | <schuelermine> | GHC release notes mention that GHCi commands now work with “multiple home units”. What is a home unit? |
| 2026-06-22 00:47:29 +0000 | leppard | (~noOne@ipservice-092-209-218-237.092.209.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 2026-06-22 00:51:45 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-22 00:52:01 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-22 00:53:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 00:58:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-22 00:58:35 +0000 | <geekosaur> | practically, a package |
| 2026-06-22 00:58:53 +0000 | <geekosaur> | or, well |
| 2026-06-22 00:59:19 +0000 | <geekosaur> | think of a cabal file. you can have multiple "components" in it (unnamed library, named libraries, executables, tests, benchmarks) |
| 2026-06-22 00:59:27 +0000 | Axma39476 | (~Axman6@user/axman6) Axman6 |
| 2026-06-22 00:59:29 +0000 | <geekosaur> | each component is a home unit, in ghc parlance |
| 2026-06-22 01:00:19 +0000 | <geekosaur> | ghci used to only supporting one such at a time, which made things difficult when debugging a package with a library and an executable, say |
| 2026-06-22 01:00:50 +0000 | <geekosaur> | ghci got limited multiple home unit support some time back, just enough for HLS to be able to sanely work with such multi-component packages; as of 9.14 it now supports them fully |
| 2026-06-22 01:01:20 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-22 01:02:00 +0000 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2026-06-22 01:02:19 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-06-22 01:02:59 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-06-22 01:04:45 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-06-22 01:04:50 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2026-06-22 01:05:05 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-06-22 01:06:00 +0000 | traxex | (traxex@user/traxex) (Ping timeout: 246 seconds) |
| 2026-06-22 01:09:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 01:14:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-22 01:24:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 01:31:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-22 01:33:40 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-22 01:33:58 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-22 01:42:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 01:46:27 +0000 | khumba | (~khumba@user/khumba) () |
| 2026-06-22 01:47:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-22 01:49:22 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 276 seconds) |
| 2026-06-22 01:59:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 02:06:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-06-22 02:08:57 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-06-22 02:11:32 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-06-22 02:11:47 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-06-22 02:12:44 +0000 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 244 seconds) |
| 2026-06-22 02:13:27 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2026-06-22 02:14:29 +0000 | td_ | (~td@i53870915.versanet.de) |
| 2026-06-22 02:17:09 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 02:18:28 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) (Remote host closed the connection) |
| 2026-06-22 02:18:29 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2026-06-22 02:18:38 +0000 | yanmaani | (~yanmaani@gateway/tor-sasl/yanmaani) yanmaani |
| 2026-06-22 02:18:53 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2026-06-22 02:19:01 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-06-22 02:19:39 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-06-22 02:19:43 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-06-22 02:20:00 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-06-22 02:21:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-22 02:22:36 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 02:26:52 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-22 02:32:32 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 02:36:14 +0000 | hsw | (~hsw@112-104-29-204.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 2026-06-22 02:36:57 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-22 02:44:28 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-06-22 02:44:46 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-06-22 02:47:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 02:52:40 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-06-22 02:52:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-22 03:03:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 03:10:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-22 03:12:43 +0000 | kimiamania | (~768865ec@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 2026-06-22 03:13:06 +0000 | kimiamania | (~768865ec@user/kimiamania) kimiamania |
| 2026-06-22 03:23:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 03:28:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-22 03:28:46 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-22 03:29:00 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-22 03:39:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 03:42:56 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 03:43:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-22 03:54:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 03:59:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-22 04:00:07 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-22 04:01:20 +0000 | Axma39476 | (~Axman6@user/axman6) (Ping timeout: 245 seconds) |
| 2026-06-22 04:09:30 +0000 | michalz | (~michalz@185.246.207.221) |
| 2026-06-22 04:10:23 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 04:14:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-06-22 04:24:31 +0000 | User_ | (~jabos_gra@user/jabos-grande:16073) jabos_grande |
| 2026-06-22 04:25:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 04:30:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 259 seconds) |
| 2026-06-22 04:41:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 04:47:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-22 04:52:05 +0000 | Enrico63 | (~Enrico63@host-82-59-243-152.retail.telecomitalia.it) Enrico63 |
| 2026-06-22 04:59:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 05:01:59 +0000 | machinedgod | (~machinedg@d108-173-95-19.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2026-06-22 05:03:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 262 seconds) |
| 2026-06-22 05:17:10 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-06-22 05:19:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 05:24:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-06-22 05:28:25 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-22 05:34:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 05:36:30 +0000 | Enrico63 | (~Enrico63@host-82-59-243-152.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-06-22 05:37:58 +0000 | michalz | (~michalz@185.246.207.221) (Read error: Connection reset by peer) |
| 2026-06-22 05:38:26 +0000 | michalz | (~michalz@185.246.207.200) |
| 2026-06-22 05:40:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-22 05:45:05 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 05:49:40 +0000 | Enrico63 | (~Enrico63@host-82-59-243-152.retail.telecomitalia.it) Enrico63 |
| 2026-06-22 05:50:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 05:52:00 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-22 05:55:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 257 seconds) |
| 2026-06-22 06:05:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 06:05:54 +0000 | tromp | (~textual@2001:1c00:340e:2700:f85c:5d3d:452:a65a) |
| 2026-06-22 06:09:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-06-22 06:20:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 06:25:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-22 06:29:40 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-06-22 06:35:14 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2026-06-22 06:36:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-22 06:36:17 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 06:40:31 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-22 06:40:44 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 256 seconds) |
| 2026-06-22 06:41:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-22 06:42:31 +0000 | czan | (~czan@user/mange) (Remote host closed the connection) |
| 2026-06-22 06:44:28 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-22 06:47:02 +0000 | tromp | (~textual@2001:1c00:340e:2700:f85c:5d3d:452:a65a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-22 06:50:25 +0000 | acidjnk | (~acidjnk@p200300d6e700e5655aeb0151c7ac3b3b.dip0.t-ipconnect.de) acidjnk |
| 2026-06-22 06:50:36 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5655aeb0151c7ac3b3b.dip0.t-ipconnect.de) acidjnk |
| 2026-06-22 06:52:35 +0000 | chele | (~chele@user/chele) chele |
| 2026-06-22 06:53:04 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-06-22 06:55:44 +0000 | ft | (~ft@p508db6b1.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-06-22 06:56:38 +0000 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2026-06-22 06:57:18 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-06-22 06:58:35 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2026-06-22 07:01:24 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-22 07:03:55 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-06-22 07:09:10 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-22 07:13:04 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2026-06-22 07:19:00 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 263 seconds) |
| 2026-06-22 07:21:52 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 266 seconds) |
| 2026-06-22 07:24:33 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-22 07:25:33 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 07:30:37 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-22 07:40:21 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-06-22 07:40:41 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-22 07:52:15 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-22 07:56:12 +0000 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2026-06-22 07:56:17 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2026-06-22 07:57:59 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-06-22 07:58:35 +0000 | prdak1 | prdak |
| 2026-06-22 08:02:34 +0000 | fp | (~Thunderbi@130.233.70.229) fp |
| 2026-06-22 08:13:46 +0000 | CiaoSen | (~Jura@2a02:3100:6368:1c00:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-22 08:15:08 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e527a803b16ebc013ad0.dip0.t-ipconnect.de) acidjnk |
| 2026-06-22 08:15:30 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 08:18:12 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5655aeb0151c7ac3b3b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-06-22 08:18:46 +0000 | acidjnk | (~acidjnk@p200300d6e700e5655aeb0151c7ac3b3b.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-06-22 08:19:10 +0000 | acidjnk | (~acidjnk@p200300d6e700e527a803b16ebc013ad0.dip0.t-ipconnect.de) acidjnk |
| 2026-06-22 08:19:33 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-06-22 08:20:40 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-22 08:21:20 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-06-22 08:21:39 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-22 08:22:45 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 08:27:49 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-22 08:30:09 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2026-06-22 08:42:43 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-06-22 08:43:41 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-22 08:51:26 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-22 08:52:30 +0000 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-06-22 08:55:33 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2026-06-22 08:59:54 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 09:04:04 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-22 09:05:33 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2026-06-22 09:16:54 +0000 | schuelermine | (~Thunderbi@user/schuelermine) schuelermine |
| 2026-06-22 09:18:43 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-22 09:20:07 +0000 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2026-06-22 09:20:40 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-06-22 09:21:24 +0000 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2026-06-22 09:21:43 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-06-22 09:29:16 +0000 | leppard | (~noOne@ipservice-092-209-218-237.092.209.pools.vodafone-ip.de) Inline |
| 2026-06-22 09:37:20 +0000 | jreicher | Guest4267 |
| 2026-06-22 09:37:48 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-06-22 09:41:10 +0000 | Guest4267 | (~joelr@user/jreicher) (Ping timeout: 243 seconds) |
| 2026-06-22 09:41:13 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-06-22 09:45:08 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-06-22 09:45:28 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2026-06-22 09:49:19 +0000 | Enrico63 | (~Enrico63@host-82-59-243-152.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-06-22 09:49:36 +0000 | schuelermine | (~Thunderbi@user/schuelermine) (Ping timeout: 246 seconds) |
| 2026-06-22 09:59:13 +0000 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-06-22 10:00:22 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 10:04:45 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-22 10:05:29 +0000 | fp | (~Thunderbi@130.233.70.229) (Ping timeout: 262 seconds) |
| 2026-06-22 10:18:24 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2026-06-22 10:25:39 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-06-22 10:28:06 +0000 | wickedjargon | (~user@64.114.24.74) wickedjargon |
| 2026-06-22 10:30:37 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-22 10:31:32 +0000 | fp | (~Thunderbi@130.233.70.229) fp |
| 2026-06-22 10:35:31 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-06-22 10:38:26 +0000 | danza | (~danza@user/danza) danza |
| 2026-06-22 10:39:18 +0000 | CiaoSen | (~Jura@2a02:3100:6368:1c00:4e50:ddff:fe9b:8922) (Ping timeout: 256 seconds) |
| 2026-06-22 10:41:35 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-22 10:46:43 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 10:48:39 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-22 10:51:00 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-22 10:52:48 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-06-22 10:53:29 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2026-06-22 10:54:29 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 251 seconds) |
| 2026-06-22 11:04:59 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-22 11:09:32 +0000 | divya | (divya@140.238.251.170) (Ping timeout: 260 seconds) |
| 2026-06-22 11:11:00 +0000 | Crypt_Lab | (~NSA@171.33.191.92) CommanderBond007 |
| 2026-06-22 11:11:14 +0000 | CiaoSen | (~Jura@2a02:3100:6368:1c00:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-22 11:13:17 +0000 | CryptLab | (~NSA@185.215.181.27) (Ping timeout: 240 seconds) |
| 2026-06-22 11:14:22 +0000 | Crypt_Lab | CryptLab |
| 2026-06-22 11:24:53 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-22 11:28:52 +0000 | karenw_ | (~karenw@user/karenw) (Ping timeout: 252 seconds) |
| 2026-06-22 11:30:13 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2026-06-22 11:30:34 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-06-22 11:38:24 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-22 11:40:27 +0000 | fgarcia | (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 2026-06-22 11:44:09 +0000 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2026-06-22 11:44:33 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 11:49:19 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-22 11:50:36 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-06-22 11:50:59 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-06-22 11:52:57 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-06-22 11:55:14 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-22 12:15:51 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-06-22 12:17:42 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) |
| 2026-06-22 12:29:19 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 12:32:05 +0000 | jonnie | (~jonnie@user/jonnie) (Read error: Connection reset by peer) |
| 2026-06-22 12:32:19 +0000 | jonnie | (~jonnie@user/jonnie) jonnie |
| 2026-06-22 12:34:10 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-22 12:34:12 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2026-06-22 12:37:55 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-22 12:40:09 +0000 | Vajb | (~Vajb@n6ls0b8icarshykj82k-1.v6.elisa-mobile.fi) (Ping timeout: 248 seconds) |
| 2026-06-22 12:47:22 +0000 | fgarcia | (~lei@user/fgarcia) (Ping timeout: 256 seconds) |
| 2026-06-22 12:48:11 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 245 seconds) |
| 2026-06-22 12:48:38 +0000 | haritz | (~hrtz@140.228.70.141) |
| 2026-06-22 12:48:38 +0000 | haritz | (~hrtz@140.228.70.141) (Changing host) |
| 2026-06-22 12:48:38 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-06-22 12:53:38 +0000 | CiaoSen | (~Jura@2a02:3100:6368:1c00:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds) |
| 2026-06-22 12:59:22 +0000 | wickedjargon | (~user@64.114.24.74) (Remote host closed the connection) |
| 2026-06-22 13:02:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:df45:9308:76fe:d30b) |
| 2026-06-22 13:09:01 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 265 seconds) |
| 2026-06-22 13:10:26 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-22 13:15:39 +0000 | natto17 | (~natto@129.154.243.159) (Quit: a.) |
| 2026-06-22 13:18:02 +0000 | natto17 | (~natto@129.154.243.159) natto |
| 2026-06-22 13:19:11 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-22 13:19:51 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-22 13:20:12 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-22 13:22:56 +0000 | <jaror> | If anyone has any opinion on warnings for punning (using the same name at both the term and type level), please have a look at: https://github.com/ghc-proposals/ghc-proposals/pull/765 |
| 2026-06-22 13:23:30 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 245 seconds) |
| 2026-06-22 13:24:43 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-06-22 13:25:04 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-06-22 13:26:32 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-22 13:35:22 +0000 | rekahsoft | (~rekahsoft@70.51.99.119) rekahsoft |
| 2026-06-22 13:40:28 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 276 seconds) |
| 2026-06-22 13:44:02 +0000 | natto17 | (~natto@129.154.243.159) (Ping timeout: 256 seconds) |
| 2026-06-22 13:44:06 +0000 | spew | (~spew@user/spew) (Read error: Connection reset by peer) |
| 2026-06-22 13:45:05 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-22 13:45:23 +0000 | natto17 | (~natto@129.154.243.159) natto |
| 2026-06-22 13:48:55 +0000 | jayanth | (~jayanth@static-98-115-128-109.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-06-22 13:50:45 +0000 | natto17 | (~natto@129.154.243.159) (Ping timeout: 244 seconds) |
| 2026-06-22 13:52:51 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2026-06-22 13:53:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-22 13:54:44 +0000 | nyc | (~nyc@user/nyc) (Read error: Connection reset by peer) |
| 2026-06-22 13:54:58 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-22 13:55:19 +0000 | natto17 | (~natto@129.154.243.159) natto |