Logs: freenode/#haskell
| 2021-03-05 07:18:30 | × | pounce quits (~pounce@ns379743.ip-5-196-70.eu) (Ping timeout: 246 seconds) |
| 2021-03-05 07:18:35 | → | darjeeling_ joins (~darjeelin@122.245.208.86) |
| 2021-03-05 07:19:56 | × | PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-ssredrjhlcuuejnr) (Ping timeout: 240 seconds) |
| 2021-03-05 07:20:49 | → | PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-yldlxzypsmfoijoc) |
| 2021-03-05 07:22:29 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-03-05 07:22:30 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:29e9:2902:ad9b:c01d) |
| 2021-03-05 07:25:50 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-05 07:26:18 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-05 07:27:02 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:29e9:2902:ad9b:c01d) (Ping timeout: 264 seconds) |
| 2021-03-05 07:28:01 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-pzxcaoxvyukwyhjx) (Quit: Connection closed for inactivity) |
| 2021-03-05 07:30:32 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-03-05 07:30:52 | → | michalz joins (~user@185.246.204.60) |
| 2021-03-05 07:31:42 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-05 07:35:45 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 2021-03-05 07:37:46 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) |
| 2021-03-05 07:37:49 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-05 07:38:11 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-03-05 07:39:33 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) (Remote host closed the connection) |
| 2021-03-05 07:40:17 | × | dexterlb_ quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 2021-03-05 07:40:32 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-05 07:40:55 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 2021-03-05 07:41:15 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-fmtgknnmutdddngm) |
| 2021-03-05 07:41:55 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-05 07:43:09 | × | average quits (uid473595@gateway/web/irccloud.com/x-xflnwfcmhqvolkuk) (Quit: Connection closed for inactivity) |
| 2021-03-05 07:45:02 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 264 seconds) |
| 2021-03-05 07:48:15 | × | thonkpod_ quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (Ping timeout: 240 seconds) |
| 2021-03-05 07:48:44 | → | thonkpod_ joins (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) |
| 2021-03-05 07:52:16 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-05 07:52:42 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-jznxrcvykoijbcuj) |
| 2021-03-05 07:55:00 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 2021-03-05 07:56:20 | → | jess joins (jess@freenode/staff/jess) |
| 2021-03-05 07:57:33 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-03-05 07:57:56 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-03-05 07:58:48 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-05 07:59:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-05 08:00:01 | × | meck quits (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-05 08:02:00 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-05 08:04:14 | × | Ferdiran1 quits (~max@2001:4c78:2012:5000::2) (Ping timeout: 264 seconds) |
| 2021-03-05 08:05:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-05 08:08:48 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 2021-03-05 08:08:59 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-05 08:10:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Client Quit) |
| 2021-03-05 08:10:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-05 08:13:45 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 264 seconds) |
| 2021-03-05 08:15:20 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-05 08:15:34 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-05 08:16:58 | → | rnons joins (~Thunderbi@i118-21-18-9.s41.a014.ap.plala.or.jp) |
| 2021-03-05 08:19:51 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-03-05 08:20:03 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-05 08:20:29 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b42a:6451:2211:3708) (Remote host closed the connection) |
| 2021-03-05 08:20:35 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-05 08:20:35 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-05 08:20:35 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-05 08:23:48 | × | oleks_ quits (~oleks@188.166.34.97) (Quit: leaving) |
| 2021-03-05 08:24:04 | → | oleks joins (~oleks@188.166.34.97) |
| 2021-03-05 08:31:06 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 260 seconds) |
| 2021-03-05 08:32:46 | → | o1lo01ol_ joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-03-05 08:33:59 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-05 08:34:49 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds) |
| 2021-03-05 08:36:10 | → | vgtw_ joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-03-05 08:36:27 | × | Wolfy87 quits (~Wolfy87@178.239.168.171) (Remote host closed the connection) |
| 2021-03-05 08:37:23 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 268 seconds) |
| 2021-03-05 08:37:23 | vgtw_ | is now known as vgtw |
| 2021-03-05 08:38:22 | × | shatriff quits (~vitaliish@protective.remission.volia.net) (Remote host closed the connection) |
| 2021-03-05 08:38:58 | → | shatriff joins (~vitaliish@protective.remission.volia.net) |
| 2021-03-05 08:39:37 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-05 08:39:46 | → | ubert joins (~Thunderbi@p200300ecdf25d9bde6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-05 08:42:02 | × | thunderrd quits (~thunderrd@183.182.112.145) (Ping timeout: 272 seconds) |
| 2021-03-05 08:44:54 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:ce0d:4010:b248:c5be) (Ping timeout: 258 seconds) |
| 2021-03-05 08:45:16 | × | drbean quits (~drbean@TC210-63-209-34.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-05 08:46:28 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) (Ping timeout: 260 seconds) |
| 2021-03-05 08:47:24 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Remote host closed the connection) |
| 2021-03-05 08:50:14 | × | rnons quits (~Thunderbi@i118-21-18-9.s41.a014.ap.plala.or.jp) (Quit: rnons) |
| 2021-03-05 08:51:17 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Read error: Connection reset by peer) |
| 2021-03-05 08:53:10 | → | cgadski joins (~textual@a95-95-106-208.cpe.netcabo.pt) |
| 2021-03-05 08:53:21 | → | agander joins (~agander@193.46.28.55) |
| 2021-03-05 08:55:31 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 2021-03-05 08:56:07 | → | thunderrd joins (~thunderrd@183.182.115.72) |
| 2021-03-05 08:57:26 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:28ac:b0b7:174e:3f67) |
| 2021-03-05 08:59:54 | → | Yumasi joins (~guillaume@2a01:e0a:5cb:4430:fb20:8ab0:b390:4058) |
| 2021-03-05 09:00:15 | × | Liyang[m] quits (liyangmatr@gateway/shell/matrix.org/x-khhkarelngwsexgr) (Quit: Idle for 30+ days) |
| 2021-03-05 09:00:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-05 09:00:26 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:dc3c) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-03-05 09:04:54 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-05 09:16:10 | → | kam1 joins (~kam1@37.129.37.106) |
| 2021-03-05 09:19:16 | → | sheepfleece joins (~sheep@46.53.248.142) |
| 2021-03-05 09:21:12 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) |
| 2021-03-05 09:23:21 | × | kam1 quits (~kam1@37.129.37.106) (Ping timeout: 264 seconds) |
| 2021-03-05 09:25:18 | → | hrdl joins (~ef24a0e6@unaffiliated/hrdl) |
| 2021-03-05 09:25:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Ping timeout: 264 seconds) |
| 2021-03-05 09:27:31 | <CrabMan> | https://wiki.haskell.org/Typeclassopedia#Functor gives an exercise "Implement Functor instances for `Either e` and `((->) e).`" How do I hide the default implementation for in `Data.Either` so that ghci doesn't complain about duplicate instance declaration? |
| 2021-03-05 09:28:18 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 2021-03-05 09:28:42 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 246 seconds) |
| 2021-03-05 09:30:49 | → | kunsttyv joins (~kunsttyv@195.93.234.11) |
| 2021-03-05 09:31:41 | <merijn> | CrabMan: Well, for stuff like either you can always define your own version "data MyEither a b = MyLeft a | MyRight b", but that doesn't work for (->) |
| 2021-03-05 09:32:06 | <merijn> | I don't really know a good solution for (->) tbh |
| 2021-03-05 09:32:21 | <opqdonut> | the functor instance for (->) isn't in scope by default though, right? |
| 2021-03-05 09:32:35 | <opqdonut> | oh, it is these days |
| 2021-03-05 09:32:45 | <opqdonut> | I'm pretty sure it used to not be |
| 2021-03-05 09:33:34 | <merijn> | opqdonut: Pretty sure it always was? |
All times are in UTC.