Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 573 574 575 576 577 578 579 580 581 582 583 .. 18008
— 1,800,755 events total
2021-06-21 19:46:21 → learner-monad joins (~ehanneken@user/learner-monad)
2021-06-21 19:46:59 × favonia quits (~favonia@user/favonia) (Client Quit)
2021-06-21 19:47:28 → moet_ joins (~moet@172.58.19.20)
2021-06-21 19:47:41 × justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-06-21 19:48:17 → kayprish joins (~kayprish@46.240.143.86)
2021-06-21 19:48:36 × dmang quits (~dmang@user/dmang) (Remote host closed the connection)
2021-06-21 19:49:51 → dmang joins (~dmang@047-032-148-170.res.spectrum.com)
2021-06-21 19:50:50 × moet quits (~moet@172.58.75.87) (Ping timeout: 265 seconds)
2021-06-21 19:52:31 → dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-06-21 19:52:48 → Codaraxis__ joins (~Codaraxis@193.32.126.158)
2021-06-21 19:52:52 × Codaraxis__ quits (~Codaraxis@193.32.126.158) (Remote host closed the connection)
2021-06-21 19:53:25 → Codaraxis joins (~Codaraxis@193.32.126.158)
2021-06-21 19:54:42 → hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com)
2021-06-21 19:57:22 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-21 19:58:22 → sheepduck joins (~sheepduck@user/sheepduck)
2021-06-21 19:58:29 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-21 19:59:22 → Guest8 joins (~Guest8@71.sub-174-248-28.myvzw.com)
2021-06-21 20:00:10 × Guest8 quits (~Guest8@71.sub-174-248-28.myvzw.com) (Client Quit)
2021-06-21 20:04:35 → killsushi joins (~killsushi@user/killsushi)
2021-06-21 20:05:14 × juhp quits (~juhp@128.106.188.66) (Ping timeout: 252 seconds)
2021-06-21 20:05:30 × AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.)
2021-06-21 20:06:44 → juhp joins (~juhp@128.106.188.66)
2021-06-21 20:08:48 → IvanDru[m] joins (~dendrumat@2001:470:69fc:105::2f9b)
2021-06-21 20:08:52 → delYsid joins (~user@user/delYsid)
2021-06-21 20:09:41 × ddellacosta quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-06-21 20:11:02 → ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net)
2021-06-21 20:11:58 → ddellaco_ joins (~ddellacos@ool-44c73aff.dyn.optonline.net)
2021-06-21 20:12:00 × kayprish quits (~kayprish@46.240.143.86) (Quit: leaving)
2021-06-21 20:12:14 → kayprish joins (~kayprish@46.240.143.86)
2021-06-21 20:12:30 → jumper149 joins (~jumper149@80.240.31.34)
2021-06-21 20:12:31 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-21 20:13:09 <jumper149> Hi, is it possible to give a constraint, that a specific type of a non-injective type family exists?
2021-06-21 20:14:08 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-06-21 20:14:08 × azeem quits (~azeem@dynamic-adsl-84-220-246-6.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-21 20:14:31 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
2021-06-21 20:14:53 → azeem joins (~azeem@dynamic-adsl-84-220-246-6.clienti.tiscali.it)
2021-06-21 20:15:54 × ddellacosta quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-06-21 20:16:15 × sheepduck quits (~sheepduck@user/sheepduck) (Quit: Leaving)
2021-06-21 20:16:42 → sheepduck joins (~sheepduck@user/sheepduck)
2021-06-21 20:17:50 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Remote host closed the connection)
2021-06-21 20:18:14 × kayprish quits (~kayprish@46.240.143.86) (Quit: leaving)
2021-06-21 20:18:23 → kayprish joins (~kayprish@46.240.143.86)
2021-06-21 20:19:35 × kayprish quits (~kayprish@46.240.143.86) (Client Quit)
2021-06-21 20:19:45 → kayprish joins (~kayprish@46.240.143.86)
2021-06-21 20:19:46 → ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net)
2021-06-21 20:22:24 × kayprish quits (~kayprish@46.240.143.86) (Client Quit)
2021-06-21 20:22:35 → kayprish joins (~kayprish@46.240.143.86)
2021-06-21 20:22:41 × dhil quits (~dhil@80.208.56.181) (Ping timeout: 268 seconds)
2021-06-21 20:23:12 × ddellaco_ quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-06-21 20:24:15 × ddellacosta quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Read error: Connection reset by peer)
2021-06-21 20:24:21 → ddellaco_ joins (~ddellacos@ool-44c73aff.dyn.optonline.net)
2021-06-21 20:24:41 × shapr quits (~user@144.163.30.223) (Read error: Connection reset by peer)
2021-06-21 20:25:33 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 20:26:34 × kayprish quits (~kayprish@46.240.143.86) (Client Quit)
2021-06-21 20:26:45 → kayprish joins (~kayprish@46.240.143.86)
2021-06-21 20:27:05 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 20:27:10 × Izem quits (~Izem@bras-base-london1483w-grc-42-65-95-172-41.dsl.bell.ca) (Quit: Izem)
2021-06-21 20:27:12 → shapr joins (~user@144.163.30.223)
2021-06-21 20:29:52 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 20:29:52 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a)
2021-06-21 20:31:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-06-21 20:31:27 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 20:31:44 × esclear[i] quits (~esclear@phobos.esclear.de) (Quit: WeeChat 2.1)
2021-06-21 20:32:05 <delYsid> heh, I am getting a shady investment AD on youtube tweag channel.
2021-06-21 20:34:07 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 20:34:13 → derelict joins (~derelict@user/derelict)
2021-06-21 20:34:55 × Morrow quits (~MorrowM_@147.161.9.243) (Read error: Connection reset by peer)
2021-06-21 20:35:40 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 20:36:03 → dhil joins (~dhil@195.213.192.47)
2021-06-21 20:36:21 → Morrow joins (~MorrowM_@147.161.9.243)
2021-06-21 20:36:56 × kayprish quits (~kayprish@46.240.143.86) (Read error: Connection reset by peer)
2021-06-21 20:38:31 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 20:38:36 × MoC quits (~moc@user/moc) (Quit: Konversation terminated!)
2021-06-21 20:38:48 → korayal joins (~Koray_Al@213.14.171.115)
2021-06-21 20:39:10 × peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 265 seconds)
2021-06-21 20:39:17 → argento joins (~argent0@168-227-97-34.ptr.westnet.com.ar)
2021-06-21 20:40:04 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 20:43:06 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 20:44:39 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 20:44:39 → kayprish joins (~kayprish@46.240.143.86)
2021-06-21 20:45:34 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 252 seconds)
2021-06-21 20:47:22 × deshalb quits (~deshalb@user/deshalb) (Quit: leaving)
2021-06-21 20:47:25 → Erutuon joins (~Erutuon@user/erutuon)
2021-06-21 20:47:26 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 20:48:59 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 20:49:17 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-21 20:49:47 × kayprish quits (~kayprish@46.240.143.86) (Quit: leaving)
2021-06-21 20:49:59 → kayprish joins (~kayprish@46.240.143.86)
2021-06-21 20:51:44 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 20:52:58 → ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net)
2021-06-21 20:53:17 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 20:54:02 <Topsi> Is there a decision on the Monad of no return proposal? Is return going to be removed from the Monad class in the future?
2021-06-21 20:56:07 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 20:56:34 × ddellaco_ quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-06-21 20:57:41 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 21:00:17 × ystael quits (~ystael@user/ystael) (Read error: Connection reset by peer)
2021-06-21 21:00:40 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 21:00:41 → bilegeek joins (~bilegeek@2600:1008:b017:63a6:c26d:d119:faaa:a6d7)
2021-06-21 21:02:13 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 21:04:51 × chomwitt quits (~Pitsikoko@athedsl-351576.home.otenet.gr) (Ping timeout: 258 seconds)
←Prev  Next→
Page 1 .. 573 574 575 576 577 578 579 580 581 582 583 .. 18008

All times are in UTC.