Newest at the top
| 2026-04-23 00:29:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-04-23 00:27:42 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2026-04-23 00:24:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 00:24:13 +0000 | Googulator25 | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 00:24:09 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e700e5836dc6d0caa2ab8c45.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2026-04-23 00:21:58 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-23 00:21:45 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-23 00:14:51 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
| 2026-04-23 00:14:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: kjabckjas) |
| 2026-04-23 00:13:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-23 00:08:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-23 00:01:31 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-04-22 23:59:55 +0000 | jreicher | (~joelr@user/jreicher) (Ping timeout: 264 seconds) |
| 2026-04-22 23:58:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-22 23:56:28 +0000 | tok | (~user@user/tok) (Remote host closed the connection) |
| 2026-04-22 23:53:17 +0000 | czan | (~czan@user/mange) czan |
| 2026-04-22 23:53:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 23:52:25 +0000 | <dibblego> | wait, they are still four argument data types |
| 2026-04-22 23:49:13 +0000 | arkeet | (~arkeet@moriya.ca) |
| 2026-04-22 23:47:52 +0000 | arkeet | (arkeet@moriya.ca) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-04-22 23:47:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-22 23:46:59 +0000 | <dibblego> | thanks! |
| 2026-04-22 23:42:13 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 23:32:05 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 272 seconds) |
| 2026-04-22 23:29:20 +0000 | <haskellbridge> | <ozkutuk> dibblego: ReifiedPrism |
| 2026-04-22 23:28:53 +0000 | CiaoSen | (~Jura@p549cbfb1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2026-04-22 23:27:13 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-04-22 23:26:30 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-04-22 23:25:07 +0000 | <dibblego> | a wrapper around Prism' so that I can use it in a data type position |
| 2026-04-22 23:22:57 +0000 | <jackdk> | dibblego: what is that thing? |
| 2026-04-22 23:21:37 +0000 | hadronizedd | (~hadronize@2001:41d0:a:fe76::1) (Quit: WeeChat 3.8) |
| 2026-04-22 23:19:10 +0000 | hadronized | (2d33342fd7@2a03:6000:1812:100::14e0) hadronized |
| 2026-04-22 23:17:21 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-22 23:16:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-22 23:15:44 +0000 | hadronized | hadronizedd |
| 2026-04-22 23:15:16 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-22 23:15:16 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:206f:300b:1ef9:5293) (Changing host) |
| 2026-04-22 23:15:16 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:206f:300b:1ef9:5293) |
| 2026-04-22 23:15:05 +0000 | tremon | (~tremon@83.80.159.219) (Ping timeout: 265 seconds) |
| 2026-04-22 23:14:47 +0000 | Guest12 | (~Guest78@2a02:8084:1:3f80:4ad3:165:cd50:2b7a) (Ping timeout: 245 seconds) |
| 2026-04-22 23:12:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 23:05:17 +0000 | Guest12 | (~Guest78@2a02:8084:1:3f80:4ad3:165:cd50:2b7a) |
| 2026-04-22 23:01:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-04-22 22:57:48 +0000 | <dibblego> | newtype Prism'' a b = Prism'' (Prism' a b) -- does anything like this exist as a data type around a type synonym? |
| 2026-04-22 22:56:30 +0000 | troojg | (~troojg@user/troojg) troojg |
| 2026-04-22 22:54:51 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-04-22 22:54:01 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-22 22:53:43 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-22 22:53:04 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-04-22 22:52:46 +0000 | Pozyomka_ | (~pyon@user/pyon) (Quit: WeeChat 4.9.0) |