Logs: liberachat/#haskell
| 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) |
All times are in UTC.