Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 619 620 621 622 623 624 625 626 627 628 629 .. 5022
— 502,152 events total
2020-10-13 18:24:02 <romildo> Is there an irc channel for haskell-mode/lsp-haskell with emacs?
2020-10-13 18:24:04 × alp quits (~alp@2a01:e0a:58b:4920:6ddd:c2d0:4761:63bc) (Remote host closed the connection)
2020-10-13 18:24:04 → geekosaur joins (82659a0e@host154-014.vpn.uakron.edu)
2020-10-13 18:24:39 → alp joins (~alp@2a01:e0a:58b:4920:45ee:7400:a0c1:b755)
2020-10-13 18:25:59 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-13 18:26:13 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-13 18:26:18 × alp quits (~alp@2a01:e0a:58b:4920:45ee:7400:a0c1:b755) (Remote host closed the connection)
2020-10-13 18:26:34 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-13 18:26:47 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Ping timeout: 256 seconds)
2020-10-13 18:26:56 → alp joins (~alp@2a01:e0a:58b:4920:2979:fa8:1325:3fdc)
2020-10-13 18:27:34 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-13 18:27:45 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-10-13 18:28:29 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-13 18:28:32 × alp quits (~alp@2a01:e0a:58b:4920:2979:fa8:1325:3fdc) (Remote host closed the connection)
2020-10-13 18:28:48 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-13 18:29:13 → alp joins (~alp@2a01:e0a:58b:4920:b89e:6fed:34a9:922c)
2020-10-13 18:29:49 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-13 18:30:01 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-13 18:30:07 → chaosmasttter joins (~chaosmast@p200300c4a711b0018861c787729f3b81.dip0.t-ipconnect.de)
2020-10-13 18:30:46 × alp quits (~alp@2a01:e0a:58b:4920:b89e:6fed:34a9:922c) (Remote host closed the connection)
2020-10-13 18:31:04 → alp joins (~alp@2a01:e0a:58b:4920:e5d4:e452:52c9:d16a)
2020-10-13 18:31:35 <ski> romildo : try here or maybe in #emacs ?
2020-10-13 18:32:18 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-13 18:32:42 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-13 18:33:26 <romildo> Is there a key binding to insert in the text the inferred type of a variable in a equation?
2020-10-13 18:34:16 × carlomagno quits (~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-10-13 18:34:25 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-13 18:34:37 → carlomagno joins (~cararell@inet-hqmc02-o.oracle.com)
2020-10-13 18:36:30 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-13 18:36:33 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-13 18:36:33 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-13 18:36:41 × alp quits (~alp@2a01:e0a:58b:4920:e5d4:e452:52c9:d16a) (Ping timeout: 272 seconds)
2020-10-13 18:37:26 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds)
2020-10-13 18:38:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-13 18:41:53 × jespada quits (~jespada@90.254.245.15) (Ping timeout: 260 seconds)
2020-10-13 18:43:35 → jespada joins (~jespada@90.254.245.15)
2020-10-13 18:44:45 → sand_dull joins (~theuser@104.140.53.43)
2020-10-13 18:46:38 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-13 18:47:45 × clog quits (~nef@bespin.org) (Ping timeout: 240 seconds)
2020-10-13 18:51:09 × sand_dull quits (~theuser@104.140.53.43) (Ping timeout: 256 seconds)
2020-10-13 18:52:39 × TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye)
2020-10-13 18:54:24 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 265 seconds)
2020-10-13 18:56:12 × mdickens quits (~mdickens@2600:1700:100:6510:a0bd:f978:b47f:a64d) ()
2020-10-13 18:56:39 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 258 seconds)
2020-10-13 18:56:41 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-13 18:59:15 <koz_> Am I right in that the kind of f here is Type -> Type? https://hackage.haskell.org/package/free-5.1.4/docs/Control-Monad-Free-Church.html#t:F
2020-10-13 18:59:44 × Lycurgus quits (~niemand@98.4.96.235) (Quit: Exeunt)
2020-10-13 19:00:00 <ghoulguy> koz_: no
2020-10-13 19:00:02 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-13 19:00:08 <ghoulguy> Look at runF :: forall r. (a -> r) -> (f r -> r) -> r
2020-10-13 19:00:19 <koz_> Ah, so k -> Type?
2020-10-13 19:00:21 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-13 19:00:21 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-13 19:00:21 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-13 19:00:25 <ghoulguy> nuh uh
2020-10-13 19:00:28 × winircuser-559 quits (~winircuse@208.65.191.38) (Read error: Connection reset by peer)
2020-10-13 19:00:35 <ghoulguy> OOH,
2020-10-13 19:00:40 <ghoulguy> sorry, let me reassess
2020-10-13 19:00:41 <ski> `f' vs. `F' ?
2020-10-13 19:00:44 <ghoulguy> I thought you asked the kind of F
2020-10-13 19:00:53 <koz_> ski: I meant the type parameter 'f'.
2020-10-13 19:00:58 <ski> yes, i assumed so
2020-10-13 19:01:03 <ghoulguy> yeah, Type -> Type then
2020-10-13 19:01:11 <koz_> OK, good to know.
2020-10-13 19:01:13 <ghoulguy> f is applied to r, and r has to have kind Type
2020-10-13 19:02:21 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-13 19:03:33 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-10-13 19:03:59 → lowryder joins (~djlowry@web603.webfaction.com)
2020-10-13 19:04:02 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-13 19:05:13 × ggole quits (~ggole@2001:8003:8119:7200:dcc4:683f:59f7:9d48) (Quit: Leaving)
2020-10-13 19:06:14 × supercoven quits (~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 258 seconds)
2020-10-13 19:06:27 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-13 19:07:13 → TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667)
2020-10-13 19:08:45 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-13 19:08:58 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-13 19:09:13 × lucid_0x80 quits (~lucid_0x8@188.253.234.40) (Ping timeout: 264 seconds)
2020-10-13 19:09:20 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-10-13 19:10:21 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-13 19:12:20 × romildo quits (~Romildo@ip-187-73-5-249.isp.valenet.com.br) (Quit: Leaving)
2020-10-13 19:13:32 → conal joins (~conal@64.71.133.70)
2020-10-13 19:14:40 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-10-13 19:15:07 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-13 19:16:03 → oisdk joins (~oisdk@2001:bb6:3329:d100:a9e4:32d1:231e:16a5)
2020-10-13 19:23:46 → conal joins (~conal@64.71.133.70)
2020-10-13 19:24:39 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-13 19:24:45 → acidjnk_new joins (~acidjnk@p200300d0c723782849be01692612d250.dip0.t-ipconnect.de)
2020-10-13 19:26:34 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-13 19:27:36 × xerox_ quits (~xerox@unaffiliated/xerox) (Quit: leaving)
2020-10-13 19:28:39 <Zetagon> Is there a difference between algebraic effects and extensible effects?
2020-10-13 19:29:41 <dolio> Maybe.
2020-10-13 19:29:42 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-13 19:29:56 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-13 19:30:15 <monochrom> :)
2020-10-13 19:30:25 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-13 19:30:58 × styledash quits (~styledash@157.230.173.136) (Quit: The Lounge - https://thelounge.chat)
2020-10-13 19:31:34 → styledash joins (~styledash@157.230.173.136)
2020-10-13 19:32:30 <Zetagon> I guess they are similar enough that I can say they are basically the same
2020-10-13 19:33:22 × Bakun quits (~bakun@51.15.0.88) (Ping timeout: 246 seconds)
2020-10-13 19:33:32 <dminuoso> Zetagon: You'd have to say what the terms precisely refer to.
2020-10-13 19:33:42 <dminuoso> Or, where you picked them up.
←Prev  Next→
Page 1 .. 619 620 621 622 623 624 625 626 627 628 629 .. 5022

All times are in UTC.