2025/10/15

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 +0200gustrb(~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 +0200tromp(~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 +0200chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-10-15 22:05:05 +0200chexum_(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2025-10-15 21:58:46 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-15 21:58:17 +0200Maeda(~Maeda@91-161-10-149.subs.proxad.net) (Quit: leaving)
2025-10-15 21:55:35 +0200Googulator(~Googulato@2a01-036d-0106-03fa-648b-10cf-62d2-2877.pool6.digikabel.hu)
2025-10-15 21:51:44 +0200Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-10-15 21:48:46 +0200CiaoSen(~Jura@ipservice-092-210-206-067.092.210.pools.vodafone-ip.de) CiaoSen
2025-10-15 21:44:32 +0200tromp(~textual@2001:1c00:3487:1b00:d983:2af2:5deb:9bbb)
2025-10-15 21:43:38 +0200fgarciafgidim
2025-10-15 21:43:00 +0200ft(~ft@p4fc2a207.dip0.t-ipconnect.de) ft
2025-10-15 21:39:31 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-10-15 21:38:11 +0200ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com)
2025-10-15 21:37:34 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-10-15 21:36:57 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2025-10-15 21:35:19 +0200FANTOM(~fantom@90.244.183.5)
2025-10-15 21:34:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-15 21:32:20 +0200qqe(~qqq@185.54.23.200) (Quit: Lost terminal)
2025-10-15 21:32:03 +0200FANTOM(~fantom@90.244.183.5) (Ping timeout: 256 seconds)
2025-10-15 21:31:55 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-10-15 21:31:11 +0200ChanServ+v yahb2
2025-10-15 21:31:11 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) yahb2
2025-10-15 21:30:39 +0200tromp(~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-15 21:29:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-15 21:28:59 +0200nshepperd21nshepperd2
2025-10-15 21:28:59 +0200b0o_b0o
2025-10-15 21:28:59 +0200rubin55_rubin55
2025-10-15 21:28:59 +0200geekosaur_geekosaur
2025-10-15 21:28:59 +0200fn_lumi_fn_lumi
2025-10-15 21:28:58 +0200ggb_ggb
2025-10-15 21:28:58 +0200annamalai(~annamalai@157.32.214.152) (Ping timeout: 244 seconds)
2025-10-15 21:28:58 +0200cheater(~fuck@84-115-208-145.cable.dynamic.surfer.at) (Read error: Connection reset by peer)
2025-10-15 21:28:58 +0200bggd__(~bgg@2a01:e0a:819:1510:a422:7a58:5231:4299) (Ping timeout: 244 seconds)
2025-10-15 21:28:58 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Ping timeout: 244 seconds)
2025-10-15 21:28:58 +0200b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 244 seconds)
2025-10-15 21:28:58 +0200fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (Ping timeout: 244 seconds)
2025-10-15 21:28:58 +0200geekosaur(sid609282@xmonad/geekosaur) (Ping timeout: 244 seconds)
2025-10-15 21:28:58 +0200pmk(6afe4476a1@2a03:6000:1812:100::26d) (Ping timeout: 244 seconds)
2025-10-15 21:28:58 +0200lieven(~mal@ns2.wyrd.be) (Ping timeout: 244 seconds)
2025-10-15 21:28:58 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (Ping timeout: 244 seconds)