Logs: liberachat/#haskell
| 2021-07-12 10:30:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 10:30:17 | × | Vajb quits (~Vajb@85-76-37-197-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2021-07-12 10:31:00 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2021-07-12 10:31:19 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-12 10:31:20 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-12 10:37:01 | × | oso quits (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed) |
| 2021-07-12 10:37:14 | × | acidjnk quits (~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-12 10:37:26 | × | azeem quits (~azeem@176.200.251.23) (Ping timeout: 272 seconds) |
| 2021-07-12 10:37:30 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-12 10:38:44 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (Remote host closed the connection) |
| 2021-07-12 10:39:24 | → | nerdypepper joins (~nerdypepp@user/nerdypepper) |
| 2021-07-12 10:40:22 | × | Core7908_ quits (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Quit: ...) |
| 2021-07-12 10:41:14 | → | Core7908 joins (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 10:42:20 | × | gzj quits (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 10:44:37 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-12 10:45:16 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 10:45:56 | → | gzj joins (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 10:46:58 | → | kosakgroove joins (~textual@2a02:a210:2d80:300:b480:470d:3b11:5e20) |
| 2021-07-12 10:47:17 | → | azeem joins (~azeem@176.200.251.23) |
| 2021-07-12 10:48:12 | × | kosakgroove quits (~textual@2a02:a210:2d80:300:b480:470d:3b11:5e20) (Client Quit) |
| 2021-07-12 10:51:47 | → | mchristi joins (~mchristi@ip-213-49-96-7.dsl.scarlet.be) |
| 2021-07-12 10:54:45 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-07-12 10:55:57 | Logio_ | is now known as Logio |
| 2021-07-12 10:56:36 | × | mchristi quits (~mchristi@ip-213-49-96-7.dsl.scarlet.be) (Quit: WeeChat 3.0.1) |
| 2021-07-12 10:59:28 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-12 11:04:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-07-12 11:05:03 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-12 11:06:28 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-12 11:06:28 | → | thyriaen joins (~thyriaen@45.178.73.238) |
| 2021-07-12 11:06:36 | × | Core7908 quits (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Ping timeout: 255 seconds) |
| 2021-07-12 11:06:43 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-12 11:11:58 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 11:12:07 | → | Core7383 joins (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 11:18:29 | → | hseg joins (~gesh@185.120.126.10) |
| 2021-07-12 11:18:29 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 255 seconds) |
| 2021-07-12 11:19:10 | × | azeem quits (~azeem@176.200.251.23) (Ping timeout: 256 seconds) |
| 2021-07-12 11:19:31 | → | berberman joins (~berberman@user/berberman) |
| 2021-07-12 11:20:14 | × | bjobjo quits (~bo@user/bjobjo) (Quit: leaving) |
| 2021-07-12 11:20:17 | <hseg> | Is there a way to spell "deriving instance Key a via b" such that I can elsewhere define Key k as either a synonym for Ord k or (Eq k, Hashable k) ? |
| 2021-07-12 11:20:43 | → | acidjnk joins (~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de) |
| 2021-07-12 11:20:58 | <hseg> | (without derivability, can just class (Eq k, Hashable k) => Key k; instance (Eq k, Hashable k) => Key k) |
| 2021-07-12 11:21:11 | × | smtnet3 quits (~asdfasdfa@202.36.244.28) (Quit: Leaving) |
| 2021-07-12 11:21:30 | <hseg> | but it doesn't seem this list decomposes within the list of instances derived |
| 2021-07-12 11:23:32 | <Taneb> | hseg: I don't believe that's possible |
| 2021-07-12 11:24:23 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-12 11:24:51 | × | thyriaen quits (~thyriaen@45.178.73.238) (Remote host closed the connection) |
| 2021-07-12 11:25:05 | <hseg> | pity. means it's harder to write code polymorphically over the container and pick the container using synonyms |
| 2021-07-12 11:26:04 | → | azeem joins (~azeem@176.201.23.19) |
| 2021-07-12 11:29:31 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-12 11:34:12 | × | ziman quits (~ziman@user/ziman) (Ping timeout: 265 seconds) |
| 2021-07-12 11:36:06 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-07-12 11:36:13 | tremon | is now known as tremon_ |
| 2021-07-12 11:40:21 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-12 11:40:34 | → | cheater joins (~Username@user/cheater) |
| 2021-07-12 11:41:42 | × | azeem quits (~azeem@176.201.23.19) (Ping timeout: 255 seconds) |
| 2021-07-12 11:42:59 | → | ziman joins (~ziman@c25-5.condornet.sk) |
| 2021-07-12 11:43:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-12 11:44:51 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds) |
| 2021-07-12 11:45:57 | × | eight quits (~eight@user/eight) (Quit: leaving) |
| 2021-07-12 11:46:34 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 11:47:16 | → | azeem joins (~azeem@176.201.23.19) |
| 2021-07-12 11:51:09 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds) |
| 2021-07-12 11:52:24 | × | azeem quits (~azeem@176.201.23.19) (Ping timeout: 276 seconds) |
| 2021-07-12 11:54:11 | → | azeem joins (~azeem@176.201.23.19) |
| 2021-07-12 11:55:06 | × | ziman quits (~ziman@c25-5.condornet.sk) (Changing host) |
| 2021-07-12 11:55:07 | → | ziman joins (~ziman@user/ziman) |
| 2021-07-12 11:55:44 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-12 11:56:24 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-07-12 11:57:06 | → | bjobjo joins (~bjobjo@user/bjobjo) |
| 2021-07-12 12:02:30 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
| 2021-07-12 12:03:01 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds) |
| 2021-07-12 12:03:32 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-12 12:04:03 | × | gehmehgeh_ quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 2021-07-12 12:04:04 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-07-12 12:04:04 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds) |
| 2021-07-12 12:04:12 | × | hololeap quits (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 2021-07-12 12:04:34 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-12 12:05:06 | → | HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2021-07-12 12:05:08 | → | gehmehgeh_ joins (~user@user/gehmehgeh) |
| 2021-07-12 12:05:08 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-07-12 12:05:09 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-12 12:05:15 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-07-12 12:05:21 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-07-12 12:06:05 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-12 12:06:49 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-12 12:07:45 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 12:10:56 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-07-12 12:13:05 | → | zaquest joins (~notzaques@5.128.210.178) |
| 2021-07-12 12:13:13 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-12 12:15:11 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-12 12:18:40 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:cb9c:8f6:3247:45ac) (Ping timeout: 256 seconds) |
| 2021-07-12 12:20:13 | → | andreabedini joins (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) |
| 2021-07-12 12:20:22 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-07-12 12:20:47 | → | cheater joins (~Username@user/cheater) |
| 2021-07-12 12:21:33 | → | Atum_ joins (IRC@user/atum/x-2392232) |
| 2021-07-12 12:24:20 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2021-07-12 12:24:55 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-12 12:24:57 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-12 12:28:11 | × | andreabedini quits (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Quit: WeeChat 2.8) |
| 2021-07-12 12:28:32 | × | hseg quits (~gesh@185.120.126.10) (Quit: WeeChat 3.2) |
All times are in UTC.