Newest at the top
| 2026-03-04 03:14:52 +0100 | aaronv | (~aaron@2601:602:8d00:c320:fa05:ec22:dea5:5e61) |
| 2026-03-04 03:11:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-03-04 03:06:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 03:01:31 +0100 | jtnuttall | (~jeremy@user/jeremyn) (Ping timeout: 264 seconds) |
| 2026-03-04 02:58:10 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-03-04 02:55:43 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2026-03-04 02:55:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-03-04 02:50:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:45:00 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-03-04 02:41:59 +0100 | Guest913 | jinsun |
| 2026-03-04 02:41:59 +0100 | Guest913 | (bnc4free@user/jinsun) jinsun |
| 2026-03-04 02:41:59 +0100 | Guest913 | (bnc4free@here.and.ready-to.party) (Changing host) |
| 2026-03-04 02:41:31 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-03-04 02:40:22 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal) |
| 2026-03-04 02:39:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 02:38:50 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-03-04 02:38:39 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 245 seconds) |
| 2026-03-04 02:34:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:34:01 +0100 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2026-03-04 02:33:20 +0100 | califax | (~califax@user/califx) califx |
| 2026-03-04 02:32:18 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-03-04 02:29:24 +0100 | stackdroid18 | (~stackdroi@user/stackdroid) stackdroid |
| 2026-03-04 02:26:22 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe |
| 2026-03-04 02:24:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 02:19:58 +0100 | jtnuttall | (~jeremy@user/jeremyn) jeremyn |
| 2026-03-04 02:19:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:15:44 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) (Ping timeout: 245 seconds) |
| 2026-03-04 02:13:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-03-04 02:10:24 +0100 | <yin> | Leary: \o/ |
| 2026-03-04 02:10:03 +0100 | <EvanR> | newtype to the rescue |
| 2026-03-04 02:09:18 +0100 | <lambdabot> | MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (MkT (M... |
| 2026-03-04 02:09:17 +0100 | <EvanR> | it used to actually report something about infinite types |
| 2026-03-04 02:09:17 +0100 | <Leary> | > let x = MkT (x, x) in x |
| 2026-03-04 02:09:09 +0100 | <lambdabot> | Defined. |
| 2026-03-04 02:09:08 +0100 | <Leary> | @let newtype T = MkT (T, T) deriving Show |
| 2026-03-04 02:08:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-03-04 02:08:17 +0100 | <EvanR> | did you try to make an infinite tuple with an infinite type |
| 2026-03-04 02:07:36 +0100 | <yin> | shame |
| 2026-03-04 02:07:18 +0100 | <lambdabot> | the inferred type of x :: (a1, b1) |
| 2026-03-04 02:07:18 +0100 | <lambdabot> | ‘b1’ is a rigid type variable bound by |
| 2026-03-04 02:07:17 +0100 | <lambdabot> | Couldn't match expected type ‘b1’ with actual type ‘(a1, b1)’ |
| 2026-03-04 02:07:16 +0100 | <yin> | > let x = (x,x) in x |
| 2026-03-04 02:07:13 +0100 | <yin> | let x = (x,x) in x |
| 2026-03-04 02:06:34 +0100 | <lambdabot> | ((), ((), ((), ()))) |
| 2026-03-04 02:06:34 +0100 | <yin> | :t ((), ((), ((), ()))) |
| 2026-03-04 02:06:01 +0100 | <Leary> | Yeah. |
| 2026-03-04 02:03:52 +0100 | <EvanR> | with nested tuples you can stash a variety of types on the "stack" ? |
| 2026-03-04 02:02:47 +0100 | <yin> | the little haskeller |
| 2026-03-04 01:59:22 +0100 | nschoe | (~nschoe@2a01:e0a:8e:a190:bcc4:c62f:8a83:eae8) nschoe |
| 2026-03-04 01:57:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |