Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 .. 5022
— 502,152 events total
2020-11-14 07:30:20 <hololeap> dsal: so, yeah, you could experiment with something like this: https://dpaste.com/CEJU47SDL
2020-11-14 07:30:23 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-14 07:30:44 → jakalx joins (~jakalx@base.jakalx.net)
2020-11-14 07:32:14 <dsal> Oh thanks, that's helpful. I was getting a little lost at the F
2020-11-14 07:32:22 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 07:34:37 <dsal> Huh. I wonder why I wasn't deriving Foldable.
2020-11-14 07:35:08 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 07:35:08 × jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 260 seconds)
2020-11-14 07:36:44 × alp quits (~alp@2a01:e0a:58b:4920:a479:4d14:23b0:2e6f) (Remote host closed the connection)
2020-11-14 07:37:10 → alp joins (~alp@2a01:e0a:58b:4920:ecdf:3150:4131:aec0)
2020-11-14 07:37:33 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 07:42:52 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 07:43:26 <hololeap> you can even derive Recursive and Corecursive: https://dpaste.com/CWZDFZV4H
2020-11-14 07:47:43 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 07:51:44 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-14 07:53:24 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-14 07:55:42 × mmohammadi9812 quits (~mmohammad@185.186.245.158) (Ping timeout: 260 seconds)
2020-11-14 07:56:09 → mmohammadi9812 joins (~mmohammad@2.178.173.138)
2020-11-14 07:56:23 → Sanchayan joins (~Sanchayan@171.61.102.109)
2020-11-14 07:58:04 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-11-14 07:58:08 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 07:58:21 × alp quits (~alp@2a01:e0a:58b:4920:ecdf:3150:4131:aec0) (Ping timeout: 272 seconds)
2020-11-14 08:03:17 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 08:04:47 → chaosmasttter joins (~chaosmast@p200300c4a70f620115f0ead7b0e70c62.dip0.t-ipconnect.de)
2020-11-14 08:04:58 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-14 08:07:02 → isBEKaml joins (~isBEKaml@unaffiliated/isbekaml)
2020-11-14 08:08:14 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 08:11:10 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
2020-11-14 08:13:04 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-14 08:14:51 → babygnu joins (~robert@gateway/tor-sasl/babygnu)
2020-11-14 08:18:25 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 08:19:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-14 08:21:27 <dsal> I got this far tonight: Cofree is a functor from the category of functors to the category of comonads that is right adjoint to the forgetful functor from the category of comonads to the category of functors that forgets how to extract and duplicate, leaving you with only a Functor.
2020-11-14 08:23:12 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 08:25:25 × kav quits (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Ping timeout: 258 seconds)
2020-11-14 08:28:22 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-105-4.revip7.asianet.co.th) (Ping timeout: 260 seconds)
2020-11-14 08:28:26 × isBEKaml quits (~isBEKaml@unaffiliated/isbekaml) (Ping timeout: 256 seconds)
2020-11-14 08:29:31 → britva joins (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0)
2020-11-14 08:30:15 → isBEKaml joins (~isBEKaml@unaffiliated/isbekaml)
2020-11-14 08:31:00 × britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Client Quit)
2020-11-14 08:31:26 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-14 08:33:07 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-105-4.revip7.asianet.co.th)
2020-11-14 08:36:13 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-14 08:37:57 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-11-14 08:39:39 → britva joins (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0)
2020-11-14 08:40:37 × isBEKaml quits (~isBEKaml@unaffiliated/isbekaml) (Quit: leaving)
2020-11-14 08:43:39 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-11-14 08:49:27 → mputz1 joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-14 08:49:27 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2020-11-14 08:49:33 → kav joins (~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi)
2020-11-14 08:51:43 → christo joins (~chris@81.96.113.213)
2020-11-14 08:51:46 mputz1 is now known as mputz
2020-11-14 08:51:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-14 08:57:35 → Franciman joins (~francesco@host-82-56-223-169.retail.telecomitalia.it)
2020-11-14 08:57:51 × britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Quit: This computer has gone to sleep)
2020-11-14 09:00:01 × ToBeFree quits (~ToBeFree@84.39.117.57) ()
2020-11-14 09:04:36 → o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-11-14 09:12:55 → bidabong joins (uid272474@gateway/web/irccloud.com/x-vfizlkdiqyjcevrq)
2020-11-14 09:13:37 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-11-14 09:14:28 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-14 09:17:02 → raichoo joins (~raichoo@dslb-088-077-026-125.088.077.pools.vodafone-ip.de)
2020-11-14 09:21:01 hackage jalaali 1.0.0.0 - Jalaali calendar systems https://hackage.haskell.org/package/jalaali-1.0.0.0 (behrang)
2020-11-14 09:22:35 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-14 09:23:11 → gribble1 joins (~gribble@184.75.221.43)
2020-11-14 09:25:14 → britva joins (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0)
2020-11-14 09:26:14 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-14 09:26:38 × jollygood2 quits (~bc8165ab@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2020-11-14 09:27:23 → bitmagie joins (~Thunderbi@200116b806cd09008041507575aa598a.dip.versatel-1u1.de)
2020-11-14 09:27:31 × britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Client Quit)
2020-11-14 09:30:55 × howdoi quits (uid224@gateway/web/irccloud.com/x-iysoheblnnbktzye) (Quit: Connection closed for inactivity)
2020-11-14 09:32:27 × jchia_ quits (~jchia@58.32.37.146) (Remote host closed the connection)
2020-11-14 09:32:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-14 09:35:09 × Sanchayan quits (~Sanchayan@171.61.102.109) (Quit: leaving)
2020-11-14 09:36:36 → linker joins (~linker@185.12.21.77)
2020-11-14 09:37:34 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-14 09:39:09 → Amras joins (~Amras@unaffiliated/amras0000)
2020-11-14 09:42:17 × ruffy_ quits (~jonas@2a03:b0c0:3:d0::162e:a001) (Quit: WeeChat 2.9)
2020-11-14 09:49:56 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-14 09:57:02 × rprije quits (~rprije@124.148.131.132) (Ping timeout: 258 seconds)
2020-11-14 09:59:54 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-14 10:02:34 → Rudd0 joins (~Rudd0@185.189.115.108)
2020-11-14 10:02:36 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-105-4.revip7.asianet.co.th) (Ping timeout: 272 seconds)
2020-11-14 10:03:00 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-tcyoqfqkxtjwjlrv) (Quit: Connection closed for inactivity)
2020-11-14 10:03:20 → jonatanb joins (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl)
2020-11-14 10:03:39 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-14 10:04:17 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz)
2020-11-14 10:05:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-11-14 10:05:56 → avdb joins (~avdb@ip-83-134-109-203.dsl.scarlet.be)
2020-11-14 10:07:30 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus_)
2020-11-14 10:08:13 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-14 10:09:15 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-105-4.revip7.asianet.co.th)
2020-11-14 10:09:21 → son0p joins (~son0p@186.159.4.142)
2020-11-14 10:09:31 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-11-14 10:10:16 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-11-14 10:12:14 × jonatanb quits (~jonatanb@83.24.155.27.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-14 10:14:43 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds)
2020-11-14 10:18:21 → inkbottle joins (~inkbottle@aaubervilliers-654-1-5-80.w83-200.abo.wanadoo.fr)
2020-11-14 10:18:49 × zebrag quits (~inkbottle@aaubervilliers-654-1-107-7.w86-212.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2020-11-14 10:19:14 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-14 10:20:47 × gribble1 quits (~gribble@184.75.221.43) (Ping timeout: 256 seconds)
←Prev  Next→
Page 1 .. 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 .. 5022

All times are in UTC.