Logs: freenode/#haskell
| 2021-04-15 08:10:21 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-04-15 08:12:16 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 08:12:32 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 08:13:42 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-15 08:14:00 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-15 08:14:09 | × | gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome) |
| 2021-04-15 08:14:20 | × | _xor quits (~xor@74.215.46.133) (Read error: Connection reset by peer) |
| 2021-04-15 08:15:13 | → | _xor joins (~xor@74.215.46.133) |
| 2021-04-15 08:15:26 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-04-15 08:15:38 | → | haskellstudent joins (~quassel@213-225-6-101.nat.highway.a1.net) |
| 2021-04-15 08:15:52 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-04-15 08:16:13 | → | supercoven joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-04-15 08:16:14 | × | supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-04-15 08:16:28 | → | supercoven joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-04-15 08:16:29 | × | supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-04-15 08:16:43 | → | supercoven joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-04-15 08:17:41 | → | ddellacosta joins (~ddellacos@86.106.143.222) |
| 2021-04-15 08:17:51 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-15 08:19:41 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-15 08:21:28 | fendor_ | is now known as fendor |
| 2021-04-15 08:21:52 | × | ddellacosta quits (~ddellacos@86.106.143.222) (Ping timeout: 240 seconds) |
| 2021-04-15 08:21:58 | → | todda7 joins (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-15 08:22:03 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-15 08:22:41 | → | teddyc joins (theodorc@cassarossa.samfundet.no) |
| 2021-04-15 08:22:53 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 2021-04-15 08:23:19 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-15 08:24:04 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 2021-04-15 08:24:41 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 2021-04-15 08:27:58 | → | jophish__ joins (ca536851@202.83.104.81) |
| 2021-04-15 08:31:04 | → | freeman42x joins (~40726@2a02:2f0c:5a03:4a00:5173:2e82:6d07:aed1) |
| 2021-04-15 08:31:07 | × | freeman42x quits (~40726@2a02:2f0c:5a03:4a00:5173:2e82:6d07:aed1) (Max SendQ exceeded) |
| 2021-04-15 08:31:39 | → | freeman42x joins (~40726@2a02:2f0c:5a03:4a00:5173:2e82:6d07:aed1) |
| 2021-04-15 08:31:43 | × | freeman42x quits (~40726@2a02:2f0c:5a03:4a00:5173:2e82:6d07:aed1) (Max SendQ exceeded) |
| 2021-04-15 08:31:51 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 260 seconds) |
| 2021-04-15 08:32:49 | × | fiedlr quits (~fiedlr@83.148.33.254) (Ping timeout: 252 seconds) |
| 2021-04-15 08:33:11 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-15 08:33:30 | → | fiedlr joins (~fiedlr@195.91.9.86) |
| 2021-04-15 08:36:46 | × | xourt quits (d4c620ea@212-198-32-234.rev.numericable.fr) (Quit: Connection closed) |
| 2021-04-15 08:36:56 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-15 08:37:00 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-15 08:37:17 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-04-15 08:37:54 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds) |
| 2021-04-15 08:37:58 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-04-15 08:38:27 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-04-15 08:39:03 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-04-15 08:39:05 | × | jophish__ quits (ca536851@202.83.104.81) (Quit: Connection closed) |
| 2021-04-15 08:39:30 | → | jophish__ joins (ca536851@202.83.104.81) |
| 2021-04-15 08:39:56 | <DamienCassou> | hi |
| 2021-04-15 08:40:28 | → | Sorna joins (~Sornaensi@79.142.232.102) |
| 2021-04-15 08:41:07 | → | rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-04-15 08:41:29 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-04-15 08:42:09 | → | jophish joins (~joemonoid@li1766-207.members.linode.com) |
| 2021-04-15 08:43:29 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-15 08:44:19 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-15 08:46:11 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 268 seconds) |
| 2021-04-15 08:50:45 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 2021-04-15 08:52:02 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-15 08:52:31 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-15 08:55:52 | <jophish> | . |
| 2021-04-15 08:56:46 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-04-15 08:58:32 | × | blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-15 08:59:21 | → | dinciorip joins (~dincio@5.170.213.143) |
| 2021-04-15 09:00:03 | × | dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-vimrtwwkezzrsayu) (Quit: Idle for 30+ days) |
| 2021-04-15 09:00:36 | → | kristijonas joins (~kristijon@IN-84-15-181-058.bitemobile.lt) |
| 2021-04-15 09:01:11 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 2021-04-15 09:01:50 | × | datajerk quits (~datajerk@sense.net) (Ping timeout: 246 seconds) |
| 2021-04-15 09:03:13 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-04-15 09:05:18 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 2021-04-15 09:07:29 | × | dinciorip quits (~dincio@5.170.213.143) (Quit: WeeChat 3.1) |
| 2021-04-15 09:10:06 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Read error: No route to host) |
| 2021-04-15 09:10:15 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 2021-04-15 09:10:29 | → | datajerk joins (~datajerk@sense.net) |
| 2021-04-15 09:10:52 | → | dhil joins (~dhil@80.208.56.181) |
| 2021-04-15 09:14:25 | → | dinciorip joins (~dincio@5.170.213.143) |
| 2021-04-15 09:14:51 | × | haskellstudent quits (~quassel@213-225-6-101.nat.highway.a1.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-04-15 09:15:02 | × | dinciorip quits (~dincio@5.170.213.143) (Client Quit) |
| 2021-04-15 09:15:36 | × | supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 2021-04-15 09:16:25 | → | fiedlr_ joins (~fiedlr@83.148.33.254) |
| 2021-04-15 09:16:27 | → | CMCDragonkai1 joins (~Thunderbi@60-242-118-130.tpgi.com.au) |
| 2021-04-15 09:17:19 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-04-15 09:19:41 | × | fiedlr quits (~fiedlr@195.91.9.86) (Ping timeout: 240 seconds) |
| 2021-04-15 09:21:24 | × | CMCDragonkai1 quits (~Thunderbi@60-242-118-130.tpgi.com.au) (Remote host closed the connection) |
| 2021-04-15 09:24:06 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-04-15 09:27:26 | × | ukari quits (~ukari@unaffiliated/ukari) (Ping timeout: 240 seconds) |
| 2021-04-15 09:31:29 | → | ddellacosta joins (~ddellacos@86.106.143.100) |
| 2021-04-15 09:35:06 | → | __minoru__shirae joins (~shiraeesh@109.166.59.77) |
| 2021-04-15 09:35:53 | × | ddellacosta quits (~ddellacos@86.106.143.100) (Ping timeout: 240 seconds) |
| 2021-04-15 09:38:07 | <absence> | is there a way to enable equality constraints (~) without enabling gadts or type families (and subsequently NoMonoLocalBinds)? |
| 2021-04-15 09:38:19 | → | mandiblegrip joins (~mandibleg@58.168.115.44) |
| 2021-04-15 09:41:18 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-15 09:41:42 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 2021-04-15 09:42:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-15 09:42:54 | × | mandiblegrip quits (~mandibleg@58.168.115.44) (Client Quit) |
| 2021-04-15 09:44:53 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-15 09:47:16 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-04-15 09:49:13 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-15 09:49:33 | × | ram19890 quits (~ram@49.207.130.109) (Ping timeout: 240 seconds) |
| 2021-04-15 09:49:54 | → | ram19890 joins (~ram@49.206.125.108) |
| 2021-04-15 09:51:54 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 2021-04-15 09:52:22 | → | Tom85 joins (9ec25c49@158.194.92.73) |
All times are in UTC.