Newest at the top
| 2024-05-17 18:20:25 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-05-17 18:19:51 +0200 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
| 2024-05-17 18:13:24 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
| 2024-05-17 18:10:06 +0200 | yin | (~yin@user/zero) |
| 2024-05-17 18:07:32 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-05-17 18:03:20 +0200 | zzz | (~yin@user/zero) (Quit: leaving) |
| 2024-05-17 17:55:12 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) (Ping timeout: 256 seconds) |
| 2024-05-17 17:47:59 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-05-17 17:44:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-05-17 17:42:22 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-05-17 17:33:45 +0200 | rosco | (~rosco@173.150.68.85.rev.sfr.net) (Remote host closed the connection) |
| 2024-05-17 17:24:02 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-05-17 17:23:44 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-05-17 17:23:31 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-05-17 17:21:12 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-05-17 17:19:24 +0200 | mei | (~mei@user/mei) |
| 2024-05-17 17:12:57 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-17 17:11:23 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Ping timeout: 260 seconds) |
| 2024-05-17 17:06:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2024-05-17 17:00:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-05-17 16:50:10 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
| 2024-05-17 16:38:51 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) |
| 2024-05-17 16:38:26 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) (Remote host closed the connection) |
| 2024-05-17 16:34:15 +0200 | califax | (~califax@user/califx) |
| 2024-05-17 16:32:30 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-17 16:28:46 +0200 | zzz | (~yin@user/zero) |
| 2024-05-17 16:27:05 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) |
| 2024-05-17 16:26:39 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) (Remote host closed the connection) |
| 2024-05-17 16:24:28 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-05-17 16:22:23 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-17 16:20:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-17 16:19:39 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-17 16:18:57 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-05-17 16:18:57 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-05-17 16:18:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 2024-05-17 16:13:13 +0200 | <ncf> | my divination skills are failing me, i still have no idea what the actual problem is here |
| 2024-05-17 16:00:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-17 15:54:05 +0200 | <ph88> | thanks i'll have a look how that works |
| 2024-05-17 15:53:24 +0200 | patrl | (~patrl@user/patrl) |
| 2024-05-17 15:52:46 +0200 | addfb3 | (~dante@user/addfb3) |
| 2024-05-17 15:52:46 +0200 | addfb3 | (~dante@2804:431:cff7:525d:eaa8:811b:a49b:6191) (Changing host) |
| 2024-05-17 15:52:46 +0200 | addfb3 | (~dante@2804:431:cff7:525d:eaa8:811b:a49b:6191) |
| 2024-05-17 15:52:36 +0200 | <tomsmeding> | -XTypeOperators |
| 2024-05-17 15:52:17 +0200 | talukara | (~talukara@user/talukara) (Quit: I closed IRC (probably gonna sleep)) |
| 2024-05-17 15:50:31 +0200 | <[Leary]> | It's the name of the typeclass I declared. |
| 2024-05-17 15:49:40 +0200 | <ph88> | [Leary], what is that type operator & ? |
| 2024-05-17 15:49:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-17 15:48:06 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-17 15:47:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-17 15:46:04 +0200 | <[Leary]> | You may also want to generalise some functions or instances with QuantifiedConstraints; something like `(forall x. cs x => c x, c a) => a -> Entity cs -> ...` will allow you to handle any `Entity (... & c & ...)` uniformly. |