Newest at the top
2025-10-15 22:30:30 +0200 | inline | (~inline@2a02:8071:57a1:1260:590e:ee4d:f63f:13ad) Inline |
2025-10-15 22:26:40 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
2025-10-15 22:25:38 +0200 | Googulator63 | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
2025-10-15 22:25:36 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) (Quit: Client closed) |
2025-10-15 22:23:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-15 22:18:44 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-10-15 22:16:25 +0200 | <tomsmeding> | mreh: congrats! |
2025-10-15 22:16:14 +0200 | <tomsmeding> | hm, perhaps I should have written `repeat x` instead of `[x]`, for more recursion. :) |
2025-10-15 22:16:06 +0200 | <mreh> | I think I just made a new pb. Three day refactor, compiles, two runtime errors, and then everything just works. |
2025-10-15 22:15:39 +0200 | karenw | (~karenw@user/karenw) karenw |
2025-10-15 22:12:01 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
2025-10-15 22:11:01 +0200 | <monochrom> | Infinite types lead to Infinity Wars. >:) |
2025-10-15 22:10:57 +0200 | <mreh> | looks pointless to me :P |
2025-10-15 22:10:34 +0200 | <tomsmeding> | more efficient pointlessness! |
2025-10-15 22:10:18 +0200 | <yahb2> | In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [I... |
2025-10-15 22:10:18 +0200 | <tomsmeding> | % let x = In [x] in x |
2025-10-15 22:10:16 +0200 | <yahb2> | <no output> |
2025-10-15 22:10:16 +0200 | <tomsmeding> | % newtype Fix f = In (f (Fix f)) ; deriving instance (forall a. Show a => Show (f a)) => Show (Fix f) |
2025-10-15 22:09:57 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-15 22:09:33 +0200 | <monochrom> | Would you like to s/data/newtype/ ? :) |
2025-10-15 22:09:12 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
2025-10-15 22:08:47 +0200 | <yahb2> | In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [In [I... |
2025-10-15 22:08:47 +0200 | <tomsmeding> | % let x = In [x] in x |
2025-10-15 22:08:39 +0200 | <yahb2> | <no output> |
2025-10-15 22:08:39 +0200 | <tomsmeding> | % data Fix f = In (f (Fix f)) ; deriving instance (forall a. Show a => Show (f a)) => Show (Fix f) |
2025-10-15 22:05:52 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-10-15 22:05:05 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2025-10-15 21:58:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-15 21:58:17 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving) |
2025-10-15 21:55:35 +0200 | Googulator | (~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu) |
2025-10-15 21:51:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
2025-10-15 21:48:46 +0200 | CiaoSen | (~Jura@ipservice-092-210-206-067.092.210.pools.vodafone-ip.de) CiaoSen |
2025-10-15 21:44:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) |
2025-10-15 21:43:38 +0200 | fgarcia | fgidim |
2025-10-15 21:43:00 +0200 | ft | (~ft@p4fc2a207.dip0.t-ipconnect.de) ft |
2025-10-15 21:39:31 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-10-15 21:38:11 +0200 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
2025-10-15 21:37:34 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-10-15 21:36:57 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2025-10-15 21:35:19 +0200 | FANTOM | (~fantom@90.244.183.5) |
2025-10-15 21:34:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-10-15 21:32:20 +0200 | qqe | (~qqq@185.54.23.200) (Quit: Lost terminal) |
2025-10-15 21:32:03 +0200 | FANTOM | (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
2025-10-15 21:31:55 +0200 | arandombit | (~arandombi@user/arandombit) arandombit |
2025-10-15 21:31:11 +0200 | ChanServ | +v yahb2 |
2025-10-15 21:31:11 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
2025-10-15 21:30:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-10-15 21:29:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-15 21:28:59 +0200 | nshepperd21 | nshepperd2 |
2025-10-15 21:28:59 +0200 | b0o_ | b0o |