Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 574 575 576 577 578 579 580 581 582 583 584 .. 18008
— 1,800,772 events total
2021-06-21 21:05:00 × mikail quits (~mikail@90.152.14.81) (Ping timeout: 252 seconds)
2021-06-21 21:05:04 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 21:05:11 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Quit: Leaving.)
2021-06-21 21:06:38 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 21:06:47 × zgrep quits (~zgrep@user/zgrep) (Quit: It's a quitter's world.)
2021-06-21 21:07:56 × shapr quits (~user@144.163.30.223) (Ping timeout: 252 seconds)
2021-06-21 21:08:18 → zgrep joins (~zgrep@user/zgrep)
2021-06-21 21:09:32 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 21:11:07 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 21:11:09 → mikail joins (~mikail@2a02:c7f:bc9c:3100:ae93:93fc:603f:ceaf)
2021-06-21 21:12:12 × dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1)
2021-06-21 21:14:05 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 21:15:21 × korayal quits (~Koray_Al@213.14.171.115) (Quit: WeeChat 3.3-dev)
2021-06-21 21:15:34 → korayal joins (~Koray_Al@213.14.171.115)
2021-06-21 21:15:39 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 21:16:11 → mikail_ joins (~mikail@90.212.77.3)
2021-06-21 21:16:25 × mikail quits (~mikail@2a02:c7f:bc9c:3100:ae93:93fc:603f:ceaf) (Ping timeout: 244 seconds)
2021-06-21 21:16:40 → lavaman joins (~lavaman@98.38.249.169)
2021-06-21 21:17:19 → hammock joins (~Hammock@2600:1700:19a1:3330::625)
2021-06-21 21:17:42 <dminuoso> jumper149: What do you mean by "specific type of a non-injective type family exists"?
2021-06-21 21:18:36 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 21:19:09 → haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt)
2021-06-21 21:19:50 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5) (Ping timeout: 252 seconds)
2021-06-21 21:20:11 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 21:21:13 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-06-21 21:21:41 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5)
2021-06-21 21:22:59 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 21:23:15 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds)
2021-06-21 21:24:32 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 21:25:11 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-06-21 21:25:11 → hololeap joins (hololeap@user/hololeap)
2021-06-21 21:26:19 → MQ-17J joins (~MQ-17J@8.21.10.15)
2021-06-21 21:26:27 × michalz quits (~michalz@185.246.204.40) (Remote host closed the connection)
2021-06-21 21:28:15 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-21 21:29:51 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-06-21 21:30:58 → ystael joins (~ystael@user/ystael)
2021-06-21 21:32:27 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds)
2021-06-21 21:35:49 ← _73` parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2))
2021-06-21 21:36:05 → jakalx joins (~jakalx@base.jakalx.net)
2021-06-21 21:36:16 → beka joins (~beka@104.193.170-244.public.monkeybrains.net)
2021-06-21 21:38:08 × MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 265 seconds)
2021-06-21 21:39:44 → chexum joins (~chexum@gateway/tor-sasl/chexum)
2021-06-21 21:41:11 <jumper149> dminuoso: `StM m a` from MonadBaseControl is supposedly a non-injective type-family. At least GHC tells me that.
2021-06-21 21:42:05 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-21 21:42:23 <jumper149> I am pretty sure what I want is a function like `StM m () -> b (StM m ())`.
2021-06-21 21:43:37 <jumper149> I guess GHC cannot know what type `StM m ()` actually is unless it was clear it's an injective type family.
2021-06-21 21:44:08 × ddellacosta quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Remote host closed the connection)
2021-06-21 21:44:24 → ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net)
2021-06-21 21:44:40 <dminuoso> Is m quantified here? Or does m stand for some specific unknown type?
2021-06-21 21:45:14 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-21 21:46:05 <jumper149> forall m. MonadBaseControl b m => StM m () -> b (StM m ())
2021-06-21 21:46:38 <jumper149> wait
2021-06-21 21:49:39 <jumper149> yeah thats basically it
2021-06-21 21:49:47 → gehmehgeh joins (~user@user/gehmehgeh)
2021-06-21 21:50:55 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-06-21 21:52:21 <jumper149> I should say that the actual value never gets inspected.
2021-06-21 21:52:38 → MorrowM joins (~MorrowM_@147.161.8.246)
2021-06-21 21:52:41 <jumper149> I got it to the point of: `StM m Any -> b (StM m Any)`
2021-06-21 21:54:42 <jumper149> and with `unsafeCoerce <$> runInBase $ pure undefined` I got it working.
2021-06-21 21:55:04 × Morrow quits (~MorrowM_@147.161.9.243) (Ping timeout: 258 seconds)
2021-06-21 21:55:08 <jumper149> I guess it's impossible to understand what I'm trying to say though x)
2021-06-21 21:55:12 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-21 21:55:54 × xff0x quits (~xff0x@2001:1a81:53f8:8c00:17bc:3aea:ca8:b929) (Ping timeout: 240 seconds)
2021-06-21 21:56:02 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 21:56:51 → xff0x joins (~xff0x@2001:1a81:53f8:8c00:146b:f6fc:d9b4:bcad)
2021-06-21 21:57:03 × beka quits (~beka@104.193.170-244.public.monkeybrains.net) (Remote host closed the connection)
2021-06-21 21:57:19 → beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net)
2021-06-21 21:57:36 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 21:58:02 × ddellacosta quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Remote host closed the connection)
2021-06-21 21:58:31 → ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net)
2021-06-21 21:59:52 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-21 22:00:20 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 22:01:52 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 22:03:07 × ddellacosta quits (~ddellacos@ool-44c73aff.dyn.optonline.net) (Ping timeout: 258 seconds)
2021-06-21 22:04:40 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 22:06:15 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 22:06:58 × MorrowM quits (~MorrowM_@147.161.8.246) (Ping timeout: 252 seconds)
2021-06-21 22:07:43 × beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 258 seconds)
2021-06-21 22:08:06 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-06-21 22:08:36 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
2021-06-21 22:08:53 × warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Remote host closed the connection)
2021-06-21 22:08:57 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 22:10:31 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 22:11:14 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-21 22:13:18 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 22:14:52 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 22:15:39 <johnw> jumper149: you could use type application to specify m, apparently it can't be determined from use?
2021-06-21 22:17:59 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-06-21 22:18:35 → ddellacosta joins (~ddellacos@ool-44c73aff.dyn.optonline.net)
2021-06-21 22:19:31 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 22:20:16 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:945c:cf17:8af9:9d4a) (Remote host closed the connection)
2021-06-21 22:22:26 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 22:23:59 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 22:26:57 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 22:27:58 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-21 22:28:24 × mikail_ quits (~mikail@90.212.77.3) (Ping timeout: 265 seconds)
2021-06-21 22:28:31 → betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-06-21 22:29:22 × unyu quits (~pyon@user/pyon) (Ping timeout: 265 seconds)
2021-06-21 22:31:19 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-06-21 22:31:32 × tomsmeding quits (~tomsmedin@2a03:b0c0:0:1010::767:3001) (Quit: ZNC 1.8.2 - https://znc.in)
←Prev  Next→
Page 1 .. 574 575 576 577 578 579 580 581 582 583 584 .. 18008

All times are in UTC.