Newest at the top
| 2025-12-31 13:13:54 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-31 13:07:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:59:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 12:57:19 +0100 | Pixi | (~Pixi@user/pixi) (Ping timeout: 240 seconds) |
| 2025-12-31 12:56:35 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 240 seconds) |
| 2025-12-31 12:55:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:55:07 +0100 | <yin> | ah, i see nominal vs representational |
| 2025-12-31 12:54:52 +0100 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-12-31 12:52:24 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-31 12:52:22 +0100 | aetepe | (~aetepe@188.119.22.20) aetepe |
| 2025-12-31 12:52:14 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-12-31 12:42:12 +0100 | <yin> | newtype A a = A (C a => ...) |
| 2025-12-31 12:42:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 12:41:07 +0100 | aetepe | (~aetepe@188.119.22.20) (Ping timeout: 246 seconds) |
| 2025-12-31 12:41:03 +0100 | <yin> | is it ok to have class constraints in newtypes? |
| 2025-12-31 12:37:58 +0100 | aman | (~aman@user/aman) (Ping timeout: 246 seconds) |
| 2025-12-31 12:37:52 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:36:30 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 244 seconds) |
| 2025-12-31 12:36:02 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-31 12:26:03 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-31 12:21:42 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:11:56 +0100 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-12-31 12:10:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 12:09:58 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 246 seconds) |
| 2025-12-31 12:06:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 12:06:12 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-31 11:57:15 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-12-31 11:54:46 +0100 | Square2 | (~Square@user/square) Square |
| 2025-12-31 11:53:36 +0100 | d34db33f | (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 2025-12-31 11:52:49 +0100 | d34db33f | (~d34db33f@user/d34db33f) d34db33f |
| 2025-12-31 11:46:51 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-12-31 11:42:10 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-31 11:40:55 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-31 11:37:09 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-31 11:28:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 11:24:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 11:24:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-31 11:23:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2025-12-31 11:13:43 +0100 | amish | astra |
| 2025-12-31 11:13:16 +0100 | amish | (sid289983@user/amish) amish |
| 2025-12-31 11:13:16 +0100 | amish | (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 2025-12-31 11:13:00 +0100 | astra | amish |
| 2025-12-31 11:11:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 11:08:10 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-12-31 11:05:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 10:58:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 10:54:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-31 10:52:19 +0100 | Brumaire | (~no@94.140.114.73) (Ping timeout: 256 seconds) |
| 2025-12-31 10:51:50 +0100 | mmohammadi9812 | (~mohammad@104.28.214.168) mmohammadi9812 |
| 2025-12-31 10:44:40 +0100 | Brumaire | (~no@94.140.114.73) Brumaire |