Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 885 886 887 888 889 890 891 892 893 894 895 .. 5022
— 502,152 events total
2020-10-27 02:06:15 <simon> dsal, isn't xor a third candidate?
2020-10-27 02:06:43 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-27 02:08:48 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-27 02:13:47 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-27 02:16:01 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-27 02:16:38 → vacm joins (~vacwm@70.23.92.191)
2020-10-27 02:17:13 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-27 02:19:04 × firstlove quits (~firstlove@58.246.122.242) (Remote host closed the connection)
2020-10-27 02:20:10 → firstlove joins (~firstlove@58.246.122.242)
2020-10-27 02:22:37 × howdoi quits (uid224@gateway/web/irccloud.com/x-lyptkrhyywcfcsfh) (Quit: Connection closed for inactivity)
2020-10-27 02:23:48 × notnatebtw quits (~nate@125.161.130.165) (Quit: WeeChat 2.9)
2020-10-27 02:25:49 → texasmynsted joins (~texasmyns@99.96.221.112)
2020-10-27 02:27:11 × cebola quits (~cebola@2804:14d:149a:a093:35e4:2df:ca12:a86d) ()
2020-10-27 02:29:18 → toorevitimirp joins (~tooreviti@117.182.180.36)
2020-10-27 02:29:36 → mud joins (~mud@unaffiliated/kadoban)
2020-10-27 02:29:48 <dsal> simon: not sure how that would work, but give it a shot! :)
2020-10-27 02:33:07 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2020-10-27 02:33:20 <koz_> dsal: Bool is a monoid under xor and False.
2020-10-27 02:33:37 <koz_> s/False/True/ argh
2020-10-27 02:33:49 <koz_> Nope it was False, lol.
2020-10-27 02:33:52 <koz_> I always get this wrong.
2020-10-27 02:36:18 × texasmynsted quits (~texasmyns@99.96.221.112) (Remote host closed the connection)
2020-10-27 02:36:24 <dsal> You mean mempty is true? Where is this defined?
2020-10-27 02:36:51 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-27 02:37:20 → AndresFutur joins (~androirc@190.18.144.100)
2020-10-27 02:37:39 ← AndresFutur parts (~androirc@190.18.144.100) ()
2020-10-27 02:39:03 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-27 02:39:42 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds)
2020-10-27 02:40:04 × lucasb quits (uid333435@gateway/web/irccloud.com/x-uadkacgdennrevsw) (Quit: Connection closed for inactivity)
2020-10-27 02:40:30 × xff0x quits (~fox@2001:1a81:53e0:c700:bc1e:f03e:962e:40cd) (Remote host closed the connection)
2020-10-27 02:40:38 → texasmynsted joins (~texasmyns@99.96.221.112)
2020-10-27 02:40:50 → xff0x joins (~fox@2001:1a81:53e0:c700:5271:1170:9270:a56e)
2020-10-27 02:40:55 <koz_> dsal: Nowhere presently.
2020-10-27 02:41:12 <koz_> I did send a thing to the libraries ML a while ago for newtypes to this effect, but it attracted zero attention.
2020-10-27 02:41:24 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-27 02:41:30 <koz_> (and it's False for xor)
2020-10-27 02:41:56 <koz_> Because False `xor` False = False (because they're the same) and False `xor` True = True (because they're different).
2020-10-27 02:42:32 → thir joins (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de)
2020-10-27 02:44:01 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds)
2020-10-27 02:45:08 × servo quits (~servo@41.92.79.35) (Ping timeout: 256 seconds)
2020-10-27 02:46:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-27 02:47:17 × thir quits (~thir@p200300f27f0b7e004c18ab60065ea01b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-27 02:49:03 → justsomeguy joins (~justsomeg@216.186.218.241)
2020-10-27 02:49:03 × justsomeguy quits (~justsomeg@216.186.218.241) (Changing host)
2020-10-27 02:49:03 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-27 02:53:28 → drbean joins (~drbean@TC210-63-209-87.static.apol.com.tw)
2020-10-27 02:53:28 × texasmynsted quits (~texasmyns@99.96.221.112) (Remote host closed the connection)
2020-10-27 02:54:56 <int-e> > let xor = (/=) in xor <$> [False,True] <*> [False,True]
2020-10-27 02:54:58 <lambdabot> [False,True,True,False]
2020-10-27 02:57:15 → efficiently joins (~user@209.58.189.165)
2020-10-27 02:57:54 × polyrain quits (~polyrain@2001:8003:e501:6901:caf:e594:a7fb:67e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-27 02:58:54 × entropyga1n quits (levitate@unaffiliated/entropygain) (Remote host closed the connection)
2020-10-27 02:59:43 → SeMas joins (uid32977@gateway/web/irccloud.com/x-rjkgugwtutnfvjwx)
2020-10-27 03:00:02 × altoid quits (~altoid@154.13.1.56) ()
2020-10-27 03:00:07 × xff0x quits (~fox@2001:1a81:53e0:c700:5271:1170:9270:a56e) (Ping timeout: 260 seconds)
2020-10-27 03:00:39 → entropygain joins (levitate@unaffiliated/entropygain)
2020-10-27 03:02:09 → xff0x joins (~fox@2001:1a81:5219:2300:4b1c:219b:a3ac:1af9)
2020-10-27 03:02:15 → texasmynsted joins (~texasmyns@99.96.221.112)
2020-10-27 03:05:37 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 264 seconds)
2020-10-27 03:06:02 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-27 03:11:00 → _Marcos joins (2db67ff5@45.182.127.245)
2020-10-27 03:11:10 × la-jesystani quits (~thorn@158.140.231.126) (Ping timeout: 260 seconds)
2020-10-27 03:11:16 ← _Marcos parts (2db67ff5@45.182.127.245) ()
2020-10-27 03:11:39 × ericsagnes quits (~ericsagne@2405:6580:0:5100:4528:7514:3a09:f12e) (Ping timeout: 272 seconds)
2020-10-27 03:12:37 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:146b:c489:8b41:e2cb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-27 03:13:56 lagothrix is now known as Guest43873
2020-10-27 03:13:56 × Guest43873 quits (~lagothrix@unaffiliated/lagothrix) (Killed (rothfuss.freenode.net (Nickname regained by services)))
2020-10-27 03:14:04 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-10-27 03:14:45 × Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 240 seconds)
2020-10-27 03:15:13 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 264 seconds)
2020-10-27 03:15:35 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-27 03:15:58 → acidjnk_new joins (~acidjnk@p200300d0c7237845edac044e40ff5816.dip0.t-ipconnect.de)
2020-10-27 03:20:13 × justHaunted quits (~justache@unaffiliated/justache) (Ping timeout: 260 seconds)
2020-10-27 03:23:46 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-27 03:23:56 → ericsagnes joins (~ericsagne@2405:6580:0:5100:6142:ab79:42d1:afc1)
2020-10-27 03:30:20 × drbean quits (~drbean@TC210-63-209-87.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-10-27 03:32:31 → Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-27 03:34:14 × theDon quits (~td@94.134.91.49) (Ping timeout: 258 seconds)
2020-10-27 03:36:04 → theDon joins (~td@muedsl-82-207-238-193.citykom.de)
2020-10-27 03:36:48 → justHaunted joins (~justache@unaffiliated/justache)
2020-10-27 03:36:51 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-10-27 03:37:22 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-27 03:37:22 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-27 03:37:22 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-27 03:39:28 ← justHaunted parts (~justache@unaffiliated/justache) ()
2020-10-27 03:39:37 × texasmynsted quits (~texasmyns@99.96.221.112) (Remote host closed the connection)
2020-10-27 03:39:58 → drbean joins (~drbean@TC210-63-209-18.static.apol.com.tw)
2020-10-27 03:41:05 → falafel_ joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-27 03:42:32 × andi- quits (~andi-@NixOS/user/andi-) (Remote host closed the connection)
2020-10-27 03:45:02 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-27 03:47:01 → andi- joins (~andi-@NixOS/user/andi-)
2020-10-27 03:49:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-27 03:53:39 × falafel_ quits (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection)
2020-10-27 03:54:16 × erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Read error: Connection reset by peer)
2020-10-27 03:55:40 → falafel joins (~falafel@71-34-132-121.clsp.qwest.net)
2020-10-27 03:56:01 × nkly quits (~nkly@ip5b405665.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2020-10-27 03:56:28 → nkly joins (~nkly@ip5b405665.dynamic.kabel-deutschland.de)
2020-10-27 03:56:39 → superfly1 joins (~superfly@s91904426.blix.com)
2020-10-27 03:57:09 × falafel quits (~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection)
2020-10-27 03:58:00 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
←Prev  Next→
Page 1 .. 885 886 887 888 889 890 891 892 893 894 895 .. 5022

All times are in UTC.