Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 .. 18034
— 1,803,314 events total
2021-07-23 10:30:52 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-07-23 10:35:32 × mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-07-23 10:37:13 → mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net)
2021-07-23 10:37:34 × mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Client Quit)
2021-07-23 10:38:59 × anandprabhu quits (~anandprab@185.195.233.165) (Quit: Konversation terminated!)
2021-07-23 10:49:00 → acidjnk_new3 joins (~acidjnk@p200300d0c72b9578109cf675b5466e47.dip0.t-ipconnect.de)
2021-07-23 10:49:15 × motle quits (~motle@cpc103048-sgyl39-2-0-cust506.18-2.cable.virginm.net) (Quit: Client closed)
2021-07-23 10:49:42 × jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-23 10:51:54 × acidjnk_new quits (~acidjnk@p200300d0c72b958874b654708e10a316.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-07-23 10:52:04 → mnrmnaugh joins (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net)
2021-07-23 10:52:47 × mnrmnaugh quits (~mnrmnaugh@pool-96-252-87-182.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-07-23 10:56:22 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-23 10:56:33 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-23 10:58:52 × delYsid quits (~user@84-115-55-45.cable.dynamic.surfer.at) (Ping timeout: 245 seconds)
2021-07-23 11:00:26 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-23 11:00:55 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-23 11:02:38 × hololeap_ quits (~hololeap@user/hololeap) (Remote host closed the connection)
2021-07-23 11:03:06 → hololeap_ joins (~hololeap@user/hololeap)
2021-07-23 11:04:58 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds)
2021-07-23 11:06:12 × jay_invariant quits (~jay@c-24-4-6-169.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2021-07-23 11:10:07 → jippiedoe joins (~david@2a02-a448-48bd-1-417a-77a1-fc46-a8dc.fixed6.kpn.net)
2021-07-23 11:10:35 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-23 11:18:27 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-07-23 11:20:16 → anandprabhu joins (~anandprab@94.202.243.198)
2021-07-23 11:26:18 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds)
2021-07-23 11:26:34 × enoq quits (~enoq@194-208-179-35.lampert.tv) (Quit: enoq)
2021-07-23 11:26:56 → chexum joins (~quassel@gateway/tor-sasl/chexum)
2021-07-23 11:27:42 → jmorris joins (uid433911@id-433911.stonehaven.irccloud.com)
2021-07-23 11:33:58 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-07-23 11:37:10 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-23 11:42:26 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-07-23 11:43:17 × ski quits (~ski@ed-3358-10.studat.chalmers.se) (Ping timeout: 252 seconds)
2021-07-23 11:45:52 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-23 11:46:02 × shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 252 seconds)
2021-07-23 11:47:08 → oxide joins (~lambda@user/oxide)
2021-07-23 11:50:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-07-23 11:51:15 → Atum_ joins (~IRC@user/atum/x-2392232)
2021-07-23 11:52:01 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-23 11:53:35 → shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl)
2021-07-23 12:01:14 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 255 seconds)
2021-07-23 12:01:59 × chris_ quits (~chris@81.96.113.213) (Remote host closed the connection)
2021-07-23 12:02:58 × anandprabhu quits (~anandprab@94.202.243.198) (Quit: Konversation terminated!)
2021-07-23 12:06:53 → chris_ joins (~chris@81.96.113.213)
2021-07-23 12:08:36 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-23 12:11:23 × chris_ quits (~chris@81.96.113.213) (Ping timeout: 268 seconds)
2021-07-23 12:11:35 → pesada joins (~agua@2804:14c:8793:8e2f:6091:e445:c3bf:d39e)
2021-07-23 12:12:11 → chris_ joins (~chris@81.96.113.213)
2021-07-23 12:14:31 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-23 12:14:31 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-07-23 12:14:49 → gentauro joins (~gentauro@user/gentauro)
2021-07-23 12:15:11 × agua quits (~agua@2804:18:44:46ad:1:0:480e:2382) (Ping timeout: 255 seconds)
2021-07-23 12:17:09 → burnside_ joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-23 12:17:09 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-07-23 12:20:32 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-23 12:21:44 → favonia joins (~favonia@user/favonia)
2021-07-23 12:25:10 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-07-23 12:25:42 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-23 12:26:12 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-23 12:29:31 → Guest69 joins (~Guest69@120.21.237.168)
2021-07-23 12:30:04 × burnside_ quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-23 12:30:31 × Guest69 quits (~Guest69@120.21.237.168) (Client Quit)
2021-07-23 12:30:34 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-23 12:30:47 × nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds)
2021-07-23 12:35:32 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2021-07-23 12:36:40 → slowButPresent joins (~slowButPr@user/slowbutpresent)
2021-07-23 12:38:16 → jgeerds joins (~jgeerds@55d45555.access.ecotel.net)
2021-07-23 12:39:20 × dunj3 quits (~dunj3@2001:16b8:3037:a600:fd3a:4df5:b1ce:d427) (Remote host closed the connection)
2021-07-23 12:42:45 → nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-23 12:43:56 <Orbstheorem> enoq: I think there's a whole new grammar possible only with monadic types. For instance I frequently use `>>=`, `<$>` and `<=<`.
2021-07-23 12:44:18 <Orbstheorem> TBH, I often first write my expression in do notation and the reduce it applicative-style.
2021-07-23 12:44:28 → fradet_ joins (~fradet@216.252.75.247)
2021-07-23 12:44:36 × fradet quits (~fradet@216.252.75.247) (Ping timeout: 252 seconds)
2021-07-23 12:45:41 → hughjfchen joins (~hughjfche@vmi556545.contaboserver.net)
2021-07-23 12:50:06 × jneira quits (~jneira@212.8.115.226) (Quit: Client closed)
2021-07-23 12:51:51 → mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be)
2021-07-23 12:57:28 → jolly joins (~jolly@208.180.97.158)
2021-07-23 13:01:06 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-23 13:01:06 → alx741 joins (~alx741@186.178.108.210)
2021-07-23 13:02:31 → burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-07-23 13:04:52 → wei2912 joins (~wei2912@112.199.250.21)
2021-07-23 13:05:53 → jay-invariant joins (~jay@c-24-4-6-169.hsd1.ca.comcast.net)
2021-07-23 13:08:00 × burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-07-23 13:09:13 × turlando quits (~turlando@user/turlando) (Ping timeout: 265 seconds)
2021-07-23 13:12:12 × jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 245 seconds)
2021-07-23 13:12:32 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-23 13:12:42 → Bayes joins (~Bayes@ics177-97.icsincorporated.com)
2021-07-23 13:12:53 × Bayes quits (~Bayes@ics177-97.icsincorporated.com) (Changing host)
2021-07-23 13:12:53 → Bayes joins (~Bayes@user/bayes)
2021-07-23 13:13:17 → acidjnk_new joins (~acidjnk@p200300d0c72b95789cf50085fa6ab0cf.dip0.t-ipconnect.de)
2021-07-23 13:17:20 × acidjnk_new3 quits (~acidjnk@p200300d0c72b9578109cf675b5466e47.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-07-23 13:19:43 → Brianmancer joins (~Neuromanc@user/briandamag)
2021-07-23 13:22:19 → norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-07-23 13:23:26 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds)
2021-07-23 13:23:42 × hyiltiz quits (~quassel@31.220.5.250) (Remote host closed the connection)
2021-07-23 13:24:50 → hyiltiz joins (~quassel@31.220.5.250)
2021-07-23 13:31:12 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-23 13:31:39 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-23 13:31:55 → fluffyballoon joins (~fluffybal@131.93.208.196)
2021-07-23 13:33:03 → Sgeo joins (~Sgeo@user/sgeo)
2021-07-23 13:33:57 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:4c3:7ef8:c703:fb12)
←Prev  Next→
Page 1 .. 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 .. 18034

All times are in UTC.