Newest at the top
| 2026-04-23 08:15:18 +0000 | <dibblego> | I do, but that is back to a type-alias |
| 2026-04-23 08:14:47 +0000 | <haskellbridge> | <ozkutuk> dibblego: there is also ReifiedPrism' if you prefer using that |
| 2026-04-23 08:11:08 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-23 08:05:36 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-23 08:01:56 +0000 | karenw | (~karenw@user/karenw) karenw |
| 2026-04-23 08:01:38 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-04-23 07:54:17 +0000 | oskarw | (~user@user/oskarw) oskarw |
| 2026-04-23 07:48:16 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-23 07:38:12 +0000 | Vizious | (~bes@user/Vizious) Vizious |
| 2026-04-23 07:34:06 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-04-23 07:24:03 +0000 | fp1 | (~Thunderbi@2001-14ba-6e24-3000--180.rev.dnainternet.fi) fp |
| 2026-04-23 07:23:41 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-04-23 07:22:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 07:22:18 +0000 | rainbyte | (~rainbyte@181.47.219.3) rainbyte |
| 2026-04-23 07:21:25 +0000 | rainbyte | (~rainbyte@181.47.219.3) (Read error: Connection reset by peer) |
| 2026-04-23 07:21:15 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-04-23 07:17:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 07:15:14 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-04-23 07:06:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 07:04:32 +0000 | Vizious | (~bes@user/Vizious) (Read error: Connection reset by peer) |
| 2026-04-23 07:02:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 06:55:34 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) (Quit: leaving) |
| 2026-04-23 06:54:41 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 06:52:22 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-23 06:51:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 06:46:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 06:45:56 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5839e53bb2e58e5bcbf.dip0.t-ipconnect.de) |
| 2026-04-23 06:45:22 +0000 | jreicher | (~joelr@user/jreicher) (Remote host closed the connection) |
| 2026-04-23 06:41:58 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-04-23 06:41:18 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-23 06:40:57 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-04-23 06:40:44 +0000 | czan | (~czan@user/mange) (Quit: Quittin' time!) |
| 2026-04-23 06:37:06 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-23 06:36:03 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 06:35:07 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-23 06:34:54 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 06:29:25 +0000 | <EvanR> | 1950s cybernetics meets windows 95 (or GEM desktop or ...) https://paste.tomsmeding.com/uN1sFvss |
| 2026-04-23 06:28:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 06:28:19 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-23 06:26:47 +0000 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-04-23 06:22:03 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 06:21:44 +0000 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-04-23 06:13:20 +0000 | tusko | (~uwu@user/tusko) tusko |
| 2026-04-23 06:12:35 +0000 | chele | (~chele@user/chele) chele |
| 2026-04-23 06:12:24 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-23 06:11:06 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-04-23 06:10:09 +0000 | <yahb2> | <no output> |
| 2026-04-23 06:10:09 +0000 | <mauke> | % pure id :: IO (a -> a) |
| 2026-04-23 06:09:50 +0000 | <yahb2> | <no output> |
| 2026-04-23 06:09:49 +0000 | <mauke> | % pure show :: IO (Int -> String) |