Logs: freenode/#haskell
| 2021-04-17 19:18:48 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-17 19:18:52 | × | dmytrish_ quits (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Client Quit) |
| 2021-04-17 19:18:52 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.131) (Ping timeout: 252 seconds) |
| 2021-04-17 19:19:14 | → | dmytrish_ joins (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
| 2021-04-17 19:22:10 | → | qwerty2o joins (~qwerty2o@93-172-139-92.bb.netvision.net.il) |
| 2021-04-17 19:22:41 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) |
| 2021-04-17 19:24:00 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-17 19:24:46 | <infinity0> | does anyone know of any experimental work to make it possible to (e.g.) define unlifted functors, of kind (TYPE rep -> TYPE rep -> Constraint) ? |
| 2021-04-17 19:24:58 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-17 19:25:15 | × | dmytrish_ quits (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!) |
| 2021-04-17 19:25:28 | → | dmytrish_ joins (~mitra@37.228.247.154) |
| 2021-04-17 19:26:48 | × | dmytrish_ quits (~mitra@37.228.247.154) (Read error: Connection reset by peer) |
| 2021-04-17 19:27:02 | → | dmytrish_ joins (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
| 2021-04-17 19:27:13 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:68a6:8c79:2caf:5ce4) (Ping timeout: 258 seconds) |
| 2021-04-17 19:29:54 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:cd2f:135d:b869:baa3) |
| 2021-04-17 19:30:16 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-17 19:32:05 | × | dmytrish_ quits (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Quit: Konversation terminated!) |
| 2021-04-17 19:32:09 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-17 19:32:39 | → | dmytrish_ joins (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
| 2021-04-17 19:36:11 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Ping timeout: 240 seconds) |
| 2021-04-17 19:36:25 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-04-17 19:36:50 | Alleria | is now known as Guest62988 |
| 2021-04-17 19:36:50 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) |
| 2021-04-17 19:37:12 | → | dmytrish joins (~mitra@37.228.247.154) |
| 2021-04-17 19:37:12 | × | dmytrish_ quits (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) (Read error: Connection reset by peer) |
| 2021-04-17 19:42:33 | × | xff0x quits (~xff0x@2001:1a81:5285:4800:4b3b:6e1b:c5f9:114d) (Ping timeout: 258 seconds) |
| 2021-04-17 19:44:26 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-04-17 19:44:50 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-04-17 19:45:02 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-17 19:47:11 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Client Quit) |
| 2021-04-17 19:47:50 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-04-17 19:55:31 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-17 19:56:06 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-17 19:56:58 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 2021-04-17 19:56:59 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-17 19:59:09 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-04-17 20:00:40 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-04-17 20:00:46 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 240 seconds) |
| 2021-04-17 20:02:06 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) |
| 2021-04-17 20:02:51 | → | xff0x joins (~xff0x@2001:1a81:5285:4800:4b3b:6e1b:c5f9:114d) |
| 2021-04-17 20:04:58 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-04-17 20:06:58 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-17 20:07:15 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-17 20:07:50 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-17 20:07:59 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-17 20:10:34 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 252 seconds) |
| 2021-04-17 20:12:27 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-17 20:13:07 | → | sz0 joins (uid110435@gateway/web/irccloud.com/x-nyvqwpzmynjyzzuv) |
| 2021-04-17 20:13:42 | × | Guest62988 quits (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-17 20:27:06 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-17 20:27:22 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-04-17 20:28:45 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-17 20:29:26 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.1) |
| 2021-04-17 20:33:43 | × | landonf quits (landonf@mac68k.info) (Excess Flood) |
| 2021-04-17 20:34:06 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-04-17 20:35:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-17 20:35:34 | → | landonf joins (landonf@mac68k.info) |
| 2021-04-17 20:35:49 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:dc5d:6d28:7af5:855) () |
| 2021-04-17 20:36:52 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 2021-04-17 20:39:57 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:a892:6894:980d:95d) |
| 2021-04-17 20:40:49 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit) |
| 2021-04-17 20:41:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-17 20:41:45 | → | alx741 joins (~alx741@186.178.109.113) |
| 2021-04-17 20:43:35 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-17 20:44:39 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:a892:6894:980d:95d) (Ping timeout: 258 seconds) |
| 2021-04-17 20:45:50 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-04-17 20:48:22 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-04-17 20:49:35 | → | jaykru joins (~user@unaffiliated/jaykru) |
| 2021-04-17 20:51:09 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 2021-04-17 20:51:58 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-04-17 20:53:54 | × | kritzefitz quits (~kritzefit@p5de1049b.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-04-17 20:55:14 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-17 20:57:00 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) |
| 2021-04-17 20:59:47 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 2021-04-17 21:00:04 | → | Alleria joins (~textual@2603-7000-3040-0000-884c-c769-78b1-090c.res6.spectrum.com) |
| 2021-04-17 21:00:22 | × | jaykru quits (~user@unaffiliated/jaykru) (Ping timeout: 258 seconds) |
| 2021-04-17 21:00:29 | Alleria | is now known as Guest31915 |
| 2021-04-17 21:00:36 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-17 21:01:41 | → | Lycurgus joins (~niemand@98.4.118.65) |
| 2021-04-17 21:01:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-17 21:03:40 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-04-17 21:04:35 | × | Guest31915 quits (~textual@2603-7000-3040-0000-884c-c769-78b1-090c.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-04-17 21:08:21 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-04-17 21:10:38 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-17 21:11:57 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-04-17 21:12:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-04-17 21:16:08 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-17 21:16:34 | × | Sornaensis quits (~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 252 seconds) |
| 2021-04-17 21:18:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-17 21:18:57 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-17 21:20:29 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-04-17 21:22:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-17 21:30:44 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-17 21:31:03 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 2021-04-17 21:34:13 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:46d:7a9d:4169:92f2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-17 21:35:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-17 21:40:56 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-17 21:41:16 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-04-17 21:41:19 | × | todda7 quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-04-17 21:42:13 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Client Quit) |
All times are in UTC.