Logs: freenode/#haskell
| 2021-04-10 09:02:05 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 09:03:57 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 09:04:07 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-10 09:05:36 | → | bitmagie joins (~Thunderbi@200116b806a90200e567e65021c26bc1.dip.versatel-1u1.de) |
| 2021-04-10 09:05:38 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-04-10 09:06:47 | × | connrs quits (~connrs@mail.connolley.uk) (Client Quit) |
| 2021-04-10 09:06:51 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 258 seconds) |
| 2021-04-10 09:07:05 | × | bitmagie quits (~Thunderbi@200116b806a90200e567e65021c26bc1.dip.versatel-1u1.de) (Client Quit) |
| 2021-04-10 09:07:18 | → | ulfryk joins (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) |
| 2021-04-10 09:07:49 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 09:07:54 | → | raichoo joins (~raichoo@dslb-084-062-113-098.084.062.pools.vodafone-ip.de) |
| 2021-04-10 09:08:25 | × | connrs quits (~connrs@mail.connolley.uk) (Client Quit) |
| 2021-04-10 09:10:01 | × | Blkt quits (~Blkt@2a01:4f8:200:2425::adda) (Ping timeout: 276 seconds) |
| 2021-04-10 09:10:03 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 09:11:11 | → | Blkt joins (~Blkt@2a01:4f8:200:2425::adda) |
| 2021-04-10 09:12:25 | × | ulfryk quits (~ulfryk@2a01:4b00:872d:e600:a55a:b8e3:54cc:d8d6) (Remote host closed the connection) |
| 2021-04-10 09:16:52 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-10 09:18:10 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-04-10 09:19:12 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-10 09:25:49 | <maerwald> | johnw: AE library? |
| 2021-04-10 09:27:38 | × | __minoru__shirae quits (~shiraeesh@46.34.206.174) (Ping timeout: 240 seconds) |
| 2021-04-10 09:28:19 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds) |
| 2021-04-10 09:28:23 | → | __minoru__shirae joins (~shiraeesh@46.34.206.174) |
| 2021-04-10 09:32:42 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:20c4:658f:8b92:9a0) |
| 2021-04-10 09:37:31 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:20c4:658f:8b92:9a0) (Ping timeout: 258 seconds) |
| 2021-04-10 09:38:19 | → | acidjnk_new joins (~acidjnk@p200300d0c72b959964939eff718064de.dip0.t-ipconnect.de) |
| 2021-04-10 09:42:47 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-10 09:44:07 | → | supercoven joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-04-10 09:46:21 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 2021-04-10 09:48:17 | × | malumore_ quits (~malumore@151.62.113.35) (Ping timeout: 268 seconds) |
| 2021-04-10 09:56:17 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 268 seconds) |
| 2021-04-10 09:57:00 | × | DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-10 09:59:51 | × | poscat quits (~poscat@123.116.69.89) (Remote host closed the connection) |
| 2021-04-10 10:00:48 | → | poscat joins (~poscat@123.116.69.89) |
| 2021-04-10 10:04:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-04-10 10:05:04 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-10 10:05:31 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Read error: No route to host) |
| 2021-04-10 10:06:03 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-10 10:06:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-10 10:07:40 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-10 10:08:28 | × | rprije quits (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2021-04-10 10:09:35 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-10 10:10:57 | → | malumore_ joins (~malumore@151.62.113.35) |
| 2021-04-10 10:14:31 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-04-10 10:19:06 | × | malumore_ quits (~malumore@151.62.113.35) (Ping timeout: 268 seconds) |
| 2021-04-10 10:20:55 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 252 seconds) |
| 2021-04-10 10:22:33 | → | sgers1 joins (~sgers@78.40.104.180) |
| 2021-04-10 10:22:58 | → | gitgood joins (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) |
| 2021-04-10 10:23:13 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-10 10:26:17 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-10 10:27:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-10 10:29:15 | × | sgers1 quits (~sgers@78.40.104.180) (Quit: Leaving) |
| 2021-04-10 10:29:19 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-10 10:29:58 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-10 10:31:26 | → | dariof4 joins (~dario@5.179.150.32) |
| 2021-04-10 10:33:10 | × | raym quits (~ray@45.64.220.116) (Quit: leaving) |
| 2021-04-10 10:33:25 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-10 10:34:23 | → | sgers2 joins (~sgers1@78.40.104.180) |
| 2021-04-10 10:34:23 | → | sgers1 joins (~sgers1@78.40.104.180) |
| 2021-04-10 10:34:30 | × | sgers1 quits (~sgers1@78.40.104.180) (Remote host closed the connection) |
| 2021-04-10 10:34:53 | × | sgers2 quits (~sgers1@78.40.104.180) (Client Quit) |
| 2021-04-10 10:35:12 | → | sgers1 joins (~sgers1@78.40.104.180) |
| 2021-04-10 10:35:51 | × | sgers1 quits (~sgers1@78.40.104.180) (Client Quit) |
| 2021-04-10 10:39:41 | → | ClaudiusMaximus joins (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-04-10 10:39:41 | × | ClaudiusMaximus quits (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-04-10 10:39:41 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-04-10 10:39:51 | <zzz> | edwardk: i get it now. thank you |
| 2021-04-10 10:40:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-10 10:40:50 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-10 10:41:05 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-04-10 10:46:11 | <ij> | TIL: if you write "class C x where empty :: x y", then x's kind will be inferred and there is no explicit mention. I realized, because Graph from fgl doesn't say what "a" and "b" are https://hackage.haskell.org/package/fgl-5.7.0.3/docs/Data-Graph-Inductive-Graph.html#t:Graph |
| 2021-04-10 10:46:42 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 10:47:09 | <ij> | but it seems like they're just node/edge label parameters |
| 2021-04-10 10:47:42 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 10:51:47 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-04-10 10:52:07 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-10 10:52:10 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-10 10:52:27 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-10 10:52:56 | × | _bin quits (~bin@2600:1700:10a1:38d0:590a:8b89:3c71:b467) (Quit: ZNC - https://znc.in) |
| 2021-04-10 10:53:12 | → | _bin joins (~bin@2600:1700:10a1:38d0:552:2a84:dc6:b119) |
| 2021-04-10 10:53:35 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-10 10:55:51 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 10:57:53 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 10:59:00 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-04-10 10:59:11 | × | connrs quits (~connrs@mail.connolley.uk) (Client Quit) |
| 2021-04-10 10:59:11 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-10 11:00:13 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 11:05:13 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 11:06:14 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 11:08:26 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-10 11:09:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-04-10 11:12:15 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 252 seconds) |
| 2021-04-10 11:12:39 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-10 11:14:00 | × | vv8 quits (~egp_@128-71-69-136.broadband.corbina.ru) (Ping timeout: 268 seconds) |
| 2021-04-10 11:14:45 | → | bitmagie joins (~Thunderbi@200116b806a90200e567e65021c26bc1.dip.versatel-1u1.de) |
| 2021-04-10 11:16:27 | × | connrs quits (~connrs@mail.connolley.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-10 11:17:32 | → | connrs joins (~connrs@mail.connolley.uk) |
| 2021-04-10 11:17:36 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-10 11:18:28 | → | pippijn joins (~pippijn@unixcorps/staff/pippijn) |
| 2021-04-10 11:22:12 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
All times are in UTC.