Logs: freenode/#haskell
| 2021-03-05 09:33:58 | <merijn> | opqdonut: Unless you're suggesting it was an orphan instance at some point, but that seems unlikely |
| 2021-03-05 09:34:45 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-05 09:34:49 | <opqdonut> | yeah that's what I mean, but I'm probably mistaken |
| 2021-03-05 09:35:33 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-05 09:40:44 | × | puffnfresh quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 260 seconds) |
| 2021-03-05 09:41:14 | → | puffnfresh joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-03-05 09:43:02 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-05 09:43:54 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-05 09:44:09 | × | lambda quits (~xiretza@mail.xiretza.xyz) (Ping timeout: 272 seconds) |
| 2021-03-05 09:44:34 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-05 09:45:32 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Client Quit) |
| 2021-03-05 09:45:38 | → | kibo joins (~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) |
| 2021-03-05 09:47:00 | → | lambda joins (~xiretza@mail.xiretza.xyz) |
| 2021-03-05 09:48:10 | × | psutcliffe quits (~psutcliff@m83-185-90-134.cust.tele2.se) (Remote host closed the connection) |
| 2021-03-05 09:48:32 | → | psutcliffe joins (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-05 09:49:46 | → | kuribas joins (~user@ptr-25vy0i8rv5mx3gpgnrc.18120a2.ip6.access.telenet.be) |
| 2021-03-05 09:50:15 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-05 09:52:24 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-05 09:53:31 | × | pjb quits (~t@2a01cb04063ec5007ce20f826557de89.ipv6.abo.wanadoo.fr) (Ping timeout: 258 seconds) |
| 2021-03-05 09:55:33 | → | Amico joins (~Raul@host-79-36-96-189.retail.telecomitalia.it) |
| 2021-03-05 09:55:39 | <Amico> | !request |
| 2021-03-05 09:57:24 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-05 09:58:41 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-03-05 10:04:28 | → | pfurla_ joins (~pfurla@ool-3f8fc8f0.dyn.optonline.net) |
| 2021-03-05 10:04:40 | → | zar joins (~zar@fw1.ciirc.cvut.cz) |
| 2021-03-05 10:05:30 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-sggshpbcjtfntjhq) (Quit: Connection closed for inactivity) |
| 2021-03-05 10:05:55 | × | Amico quits (~Raul@host-79-36-96-189.retail.telecomitalia.it) (Quit: over35 la mia scelta! http://chatover35.altervista.org/) |
| 2021-03-05 10:06:26 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-05 10:07:34 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-03-05 10:11:08 | → | Tops2 joins (~Tobias@dyndsl-095-033-026-043.ewe-ip-backbone.de) |
| 2021-03-05 10:11:14 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-03-05 10:12:31 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-05 10:12:50 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Client Quit) |
| 2021-03-05 10:13:39 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-03-05 10:15:44 | × | aforemny quits (~aforemny@static.248.158.34.188.clients.your-server.de) (Client Quit) |
| 2021-03-05 10:19:25 | → | aforemny joins (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-03-05 10:27:32 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-05 10:27:34 | → | pjb joins (~t@2a01cb04063ec5009532626e850365ce.ipv6.abo.wanadoo.fr) |
| 2021-03-05 10:27:40 | <CrabMan> | Consider a kind data UnfunctorableType a. For any type a, it produces an empty type. Do I understand correctly that UnfunctorableType can't be made into a functor? |
| 2021-03-05 10:30:36 | → | Ferdirand joins (~max@2001:4c78:2012:5000::2) |
| 2021-03-05 10:30:36 | → | ixlun joins (~user@213.205.241.12) |
| 2021-03-05 10:30:40 | <CrabMan> | * Consider the kind data UnfunctorableType a. For any type a, it produces an empty type. Do I understand correctly that UnfunctorableType can't be made into a functor? |
| 2021-03-05 10:32:08 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-05 10:37:09 | <Uniaika> | does anyone know why Text has an offset field? |
| 2021-03-05 10:41:02 | × | kibo quits (~kibo@51-171-46-249-dynamic.agg2.ens.lmk-pgs.eircom.net) () |
| 2021-03-05 10:41:18 | <[exa]> | Uniaika: so that popping/pushing from the beginning doesn't take O(n) ? |
| 2021-03-05 10:43:18 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-05 10:46:50 | × | qih quits (~pi@210-54-120-166.adsl.xtra.co.nz) (Quit: leaving) |
| 2021-03-05 10:49:14 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 264 seconds) |
| 2021-03-05 10:49:27 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-03-05 10:49:37 | <Uniaika> | [exa]: ah, thanks :) |
| 2021-03-05 10:53:27 | dcoutts_ | is now known as dcoutts |
| 2021-03-05 10:53:33 | → | d1rges joins (~d1rges@2001-b011-8011-1df2-f7f3-676d-97d1-8a64.dynamic-ip6.hinet.net) |
| 2021-03-05 10:55:09 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 264 seconds) |
| 2021-03-05 10:59:56 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 2021-03-05 11:00:27 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Client Quit) |
| 2021-03-05 11:01:12 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-05 11:01:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-05 11:03:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-05 11:05:55 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-03-05 11:06:21 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-03-05 11:07:22 | → | knupfer joins (~Thunderbi@200116b82c486300788a86fd57e0c237.dip.versatel-1u1.de) |
| 2021-03-05 11:08:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-05 11:09:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-05 11:10:09 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 2021-03-05 11:10:35 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 2021-03-05 11:10:36 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 2021-03-05 11:11:00 | Alleria | is now known as Guest84398 |
| 2021-03-05 11:11:57 | × | cgadski quits (~textual@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 2021-03-05 11:17:38 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-chfbleysvpyzerwt) |
| 2021-03-05 11:19:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-05 11:19:43 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-03-05 11:20:29 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-03-05 11:20:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-05 11:22:38 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 2021-03-05 11:24:15 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) (Ping timeout: 240 seconds) |
| 2021-03-05 11:26:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-05 11:26:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-05 11:26:51 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-05 11:27:09 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (Quit: Bye!) |
| 2021-03-05 11:27:09 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (Quit: Bye!) |
| 2021-03-05 11:27:15 | × | ArsenArsen_ quits (~Arsen@fsf/member/ArsenArsen) (Remote host closed the connection) |
| 2021-03-05 11:27:19 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-03-05 11:27:36 | → | ArsenArsen joins (~Arsen@fsf/member/ArsenArsen) |
| 2021-03-05 11:27:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 264 seconds) |
| 2021-03-05 11:28:03 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-03-05 11:28:12 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
| 2021-03-05 11:28:47 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-03-05 11:31:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-05 11:32:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-05 11:32:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-05 11:32:38 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 2021-03-05 11:32:39 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
| 2021-03-05 11:32:40 | → | SquidDev joins (~SquidDev@autoclave.squiddev.cc) |
| 2021-03-05 11:32:46 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 2021-03-05 11:33:19 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-03-05 11:34:41 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-05 11:36:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-05 11:37:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-05 11:37:37 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (Quit: Bye!) |
All times are in UTC.