Newest at the top
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 |
2025-10-15 21:28:59 +0200 | rubin55_ | rubin55 |
2025-10-15 21:28:59 +0200 | geekosaur_ | geekosaur |
2025-10-15 21:28:59 +0200 | fn_lumi_ | fn_lumi |
2025-10-15 21:28:58 +0200 | ggb_ | ggb |
2025-10-15 21:28:58 +0200 | annamalai | (~annamalai@157.32.214.152) (Ping timeout: 244 seconds) |
2025-10-15 21:28:58 +0200 | cheater | (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Read error: Connection reset by peer) |
2025-10-15 21:28:58 +0200 | bggd__ | (~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) (Ping timeout: 244 seconds) |
2025-10-15 21:28:58 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Ping timeout: 244 seconds) |
2025-10-15 21:28:58 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 244 seconds) |
2025-10-15 21:28:58 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 244 seconds) |
2025-10-15 21:28:58 +0200 | geekosaur | (sid609282@xmonad/geekosaur) (Ping timeout: 244 seconds) |
2025-10-15 21:28:58 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 244 seconds) |
2025-10-15 21:28:58 +0200 | lieven | (~mal@ns2.wyrd.be) (Ping timeout: 244 seconds) |
2025-10-15 21:28:58 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Ping timeout: 244 seconds) |