Logs: freenode/#haskell
| 2021-04-15 10:01:56 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-15 10:02:03 | × | jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-04-15 10:02:15 | → | blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 2021-04-15 10:03:04 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-04-15 10:03:05 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-04-15 10:03:05 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-04-15 10:04:28 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-04-15 10:05:28 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-15 10:06:25 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 2021-04-15 10:06:39 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-04-15 10:07:14 | × | srk quits (~sorki@unaffiliated/srk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-15 10:08:24 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 10:09:41 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-15 10:13:21 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-04-15 10:13:55 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-04-15 10:19:33 | × | Natch quits (~Natch@c-b471e255.014-297-73746f25.bbcust.telenor.se) (Ping timeout: 240 seconds) |
| 2021-04-15 10:23:51 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-15 10:26:49 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-04-15 10:28:11 | → | kristijonas_ joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-04-15 10:29:11 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 10:30:26 | × | kristijonas quits (~kristijon@IN-84-15-181-058.bitemobile.lt) (Ping timeout: 240 seconds) |
| 2021-04-15 10:31:40 | × | Tom85 quits (9ec25c49@158.194.92.73) (Quit: Connection closed) |
| 2021-04-15 10:31:47 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 10:32:35 | × | jophish__ quits (ca536851@202.83.104.81) (Quit: Connection closed) |
| 2021-04-15 10:34:02 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 10:35:04 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-15 10:36:16 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 10:38:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-15 10:40:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 10:41:06 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-15 10:41:33 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 10:41:40 | × | fiedlr_ quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 10:43:16 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 10:45:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-15 10:45:23 | → | Maikelsan joins (5d686538@ppp-93-104-101-56.dynamic.mnet-online.de) |
| 2021-04-15 10:45:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 10:46:04 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 10:47:40 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-15 10:49:53 | × | xff0x quits (~xff0x@2001:1a81:5212:400:4c6f:5915:2f4f:d6a1) (Ping timeout: 250 seconds) |
| 2021-04-15 10:50:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-15 10:50:54 | → | xff0x joins (~xff0x@2001:1a81:5212:400:40ea:4efb:39d4:239a) |
| 2021-04-15 10:51:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 10:52:15 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-15 10:52:20 | × | liyang quits (~liyang@90.255.129.199) (Quit: Lost terminal) |
| 2021-04-15 10:53:57 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 258 seconds) |
| 2021-04-15 10:54:30 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-04-15 10:55:06 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-04-15 10:56:12 | × | __minoru__shirae quits (~shiraeesh@109.166.59.77) (Ping timeout: 240 seconds) |
| 2021-04-15 11:01:50 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 11:02:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-15 11:02:29 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-15 11:02:48 | dave_uy48 | is now known as dave_uy |
| 2021-04-15 11:03:12 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-15 11:03:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 11:03:50 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 11:04:09 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 2021-04-15 11:04:27 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 11:04:32 | Alleria | is now known as Guest61024 |
| 2021-04-15 11:07:38 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 2021-04-15 11:07:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-15 11:08:52 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-04-15 11:09:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 11:10:08 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-15 11:14:29 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-15 11:14:31 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 2021-04-15 11:15:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 11:17:01 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-15 11:18:00 | → | maroloccio joins (~marolocci@pousada3ja.mma.com.br) |
| 2021-04-15 11:20:23 | → | ddellacosta joins (~ddellacos@86.106.143.222) |
| 2021-04-15 11:20:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-15 11:20:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-15 11:23:27 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-15 11:25:09 | × | ddellacosta quits (~ddellacos@86.106.143.222) (Ping timeout: 260 seconds) |
| 2021-04-15 11:29:33 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-04-15 11:31:52 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-04-15 11:33:32 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-04-15 11:33:35 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-04-15 11:34:35 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-15 11:37:15 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-15 11:37:35 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-15 11:40:50 | <maralorn> | absence: Currently not. But there is a nearly accepted proposal about this: https://github.com/int-index/ghc-proposals/blob/67d80148e482e2b79256bb980ec1ac395b8e07ed/proposals/0000-non-magical-eq.md |
| 2021-04-15 11:41:42 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-15 11:46:49 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 11:47:07 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-15 11:47:23 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Remote host closed the connection) |
| 2021-04-15 11:47:45 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-15 11:47:48 | × | urdh quits (~urdh@unaffiliated/urdh) (Quit: Boom!) |
| 2021-04-15 11:51:59 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-15 11:52:56 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 11:53:45 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-15 11:54:59 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-15 11:56:09 | × | Maikelsan quits (5d686538@ppp-93-104-101-56.dynamic.mnet-online.de) (Quit: Connection closed) |
| 2021-04-15 11:57:12 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-04-15 11:57:41 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:8499:f3c:be0c:2511) |
| 2021-04-15 12:02:11 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:8499:f3c:be0c:2511) (Ping timeout: 258 seconds) |
| 2021-04-15 12:08:14 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-04-15 12:08:44 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-04-15 12:11:22 | → | Guest_98 joins (6c1020d6@pool-108-16-32-214.phlapa.fios.verizon.net) |
| 2021-04-15 12:11:45 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-04-15 12:12:15 | × | xff0x quits (~xff0x@2001:1a81:5212:400:40ea:4efb:39d4:239a) (Ping timeout: 260 seconds) |
All times are in UTC.