Logs: liberachat/#haskell
| 2025-12-31 11:10:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 11:11:56 | → | cyphase joins (~cyphase@user/cyphase) |
| 2025-12-31 11:21:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 11:26:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-31 11:36:02 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-31 11:36:30 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 244 seconds) |
| 2025-12-31 11:37:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 11:37:58 | × | aman quits (~aman@user/aman) (Ping timeout: 246 seconds) |
| 2025-12-31 11:41:03 | <yin> | is it ok to have class constraints in newtypes? |
| 2025-12-31 11:41:07 | × | aetepe quits (~aetepe@188.119.22.20) (Ping timeout: 246 seconds) |
| 2025-12-31 11:42:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-31 11:42:12 | <yin> | newtype A a = A (C a => ...) |
| 2025-12-31 11:52:14 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-12-31 11:52:22 | → | aetepe joins (~aetepe@188.119.22.20) |
| 2025-12-31 11:52:24 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-31 11:54:52 | → | Pixi` joins (~Pixi@user/pixi) |
| 2025-12-31 11:55:07 | <yin> | ah, i see nominal vs representational |
| 2025-12-31 11:55:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 11:56:35 | × | aetepe quits (~aetepe@188.119.22.20) (Ping timeout: 240 seconds) |
| 2025-12-31 11:57:19 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 240 seconds) |
| 2025-12-31 11:59:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 12:07:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 12:13:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-31 12:25:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 12:29:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 12:33:18 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-31 12:35:26 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-31 12:39:43 | × | mmohammadi9812 quits (~mohammad@104.28.214.168) (Remote host closed the connection) |
| 2025-12-31 12:43:48 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-31 12:46:05 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-12-31 12:56:09 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2025-12-31 12:57:31 | × | stefan-__ quits (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2025-12-31 13:00:51 | → | stefan-__ joins (~m-yh2rcc@42dots.de) |
| 2025-12-31 13:08:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 13:13:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 13:14:37 | → | aetepe joins (~aetepe@188.119.22.20) |
| 2025-12-31 13:26:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 13:30:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 13:34:08 | → | mmohammadi9812 joins (~mohammad@46.236.253.51) |
| 2025-12-31 13:41:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 13:43:51 | → | tremon joins (~tremon@83.80.159.219) |
| 2025-12-31 13:46:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-31 13:47:11 | → | spew joins (~spew@user/spew) |
| 2025-12-31 13:47:18 | × | housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 13:47:38 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-12-31 13:47:48 | → | housemate joins (~housemate@202.7.247.155) |
| 2025-12-31 13:48:05 | × | mmohammadi9812 quits (~mohammad@46.236.253.51) (Remote host closed the connection) |
| 2025-12-31 13:56:59 | × | housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 13:57:22 | → | housemate joins (~housemate@202.7.247.155) |
| 2025-12-31 13:59:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 14:02:12 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-31 14:03:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 14:03:29 | → | weary-traveler joins (~user@user/user363627) |
| 2025-12-31 14:03:52 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2025-12-31 14:04:18 | → | spew joins (~spew@user/spew) |
| 2025-12-31 14:09:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 14:14:53 | × | housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 2025-12-31 14:15:07 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-31 14:15:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-31 14:18:58 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 246 seconds) |
| 2025-12-31 14:19:40 | → | housemate joins (~housemate@202.7.247.155) |
| 2025-12-31 14:21:10 | → | infinity0 joins (~infinity0@pwned.gg) |
| 2025-12-31 14:21:27 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2025-12-31 14:28:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 14:32:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 14:41:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-12-31 14:43:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 14:48:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-31 14:50:18 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-12-31 14:52:41 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2025-12-31 14:56:58 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Ping timeout: 244 seconds) |
| 2025-12-31 14:59:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 15:03:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 15:10:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 15:14:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-31 15:28:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 15:28:55 | → | aman joins (~aman@user/aman) |
| 2025-12-31 15:30:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2025-12-31 15:31:14 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2025-12-31 15:31:46 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-31 15:32:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-31 15:40:38 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2025-12-31 15:45:14 | × | spew quits (~spew@user/spew) (Quit: happy new year) |
| 2025-12-31 15:45:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 15:55:50 | → | pavonia joins (~user@user/siracusa) |
| 2025-12-31 15:56:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-31 15:59:01 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2025-12-31 16:05:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2025-12-31 16:05:37 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-12-31 16:08:04 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-12-31 16:11:00 | → | poscat joins (~poscat@user/poscat) |
| 2025-12-31 16:11:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-31 16:16:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-31 16:18:49 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 2025-12-31 16:23:09 | × | aman quits (~aman@user/aman) (Ping timeout: 244 seconds) |
| 2025-12-31 16:23:57 | → | mmohammadi9812 joins (~mohammad@46.236.253.10) |
| 2025-12-31 16:30:55 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-31 16:32:10 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-12-31 16:34:33 | × | haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 260 seconds) |
| 2025-12-31 16:35:18 | → | haskellbridge joins (~hackager@96.28.224.214) |
All times are in UTC.