Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 .. 5022
— 502,152 events total
2020-11-02 09:33:45 → bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com)
2020-11-02 09:36:48 × xff0x quits (~fox@2001:1a81:537c:3e00:f9de:e525:5d75:c389) (Ping timeout: 268 seconds)
2020-11-02 09:37:18 → xff0x joins (~fox@2001:1a81:537c:3e00:725d:2adb:f456:fdfe)
2020-11-02 09:37:56 → yinfeng joins (~yinfeng@2001:250:5002:8100::5e0b)
2020-11-02 09:38:15 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-02 09:39:32 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 09:40:13 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-11-02 09:40:23 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-11-02 09:44:12 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 268 seconds)
2020-11-02 09:44:23 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-02 09:44:32 → LambdaScientist joins (~LambdaSci@24.42.199.176)
2020-11-02 09:44:36 × LambdaScientist quits (~LambdaSci@24.42.199.176) (Excess Flood)
2020-11-02 09:44:42 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-02 09:45:00 hackage sdl2 2.5.3.0 - Both high- and low-level bindings to the SDL library (version 2.0.6+). https://hackage.haskell.org/package/sdl2-2.5.3.0 (OliverCharles)
2020-11-02 09:45:01 → LambdaScientist joins (~LambdaSci@24.42.199.176)
2020-11-02 09:45:05 × LambdaScientist quits (~LambdaSci@24.42.199.176) (Excess Flood)
2020-11-02 09:45:30 → LambdaScientist joins (~LambdaSci@24.42.199.176)
2020-11-02 09:45:33 × LambdaScientist quits (~LambdaSci@24.42.199.176) (Excess Flood)
2020-11-02 09:45:57 → LambdaScientist joins (~LambdaSci@24.42.199.176)
2020-11-02 09:46:00 × LambdaScientist quits (~LambdaSci@24.42.199.176) (Excess Flood)
2020-11-02 09:46:26 → LambdaScientist joins (~LambdaSci@24.42.199.176)
2020-11-02 09:46:30 × LambdaScientist quits (~LambdaSci@24.42.199.176) (Excess Flood)
2020-11-02 09:47:58 → berberman_ joins (~berberman@unaffiliated/berberman)
2020-11-02 09:49:14 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds)
2020-11-02 09:50:05 × britva quits (~britva@2a02:aa13:7240:2980:fc63:822e:7d74:772d) (Quit: This computer has gone to sleep)
2020-11-02 09:50:11 × flatmap quits (~flatmap@p200300dd370a47007ce3847efe0685c7.dip0.t-ipconnect.de) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-02 09:55:34 → donri joins (~donri@139.28.218.148)
2020-11-02 09:56:22 → pera joins (~pera@unaffiliated/pera)
2020-11-02 09:58:29 → britva joins (~britva@31.10.157.156)
2020-11-02 09:59:12 × guest112 quits (~user@49.5.6.87) (Remote host closed the connection)
2020-11-02 09:59:43 × dustypacer quits (~pi@2600:6c50:80:2f4a:e9d0:6569:1cea:d1d4) (Read error: Connection reset by peer)
2020-11-02 10:01:03 → ski joins (~ski@remote11.chalmers.se)
2020-11-02 10:06:47 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-02 10:09:31 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-11-02 10:13:51 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-02 10:14:15 → tuple joins (~igloo@c-67-169-78-228.hsd1.ca.comcast.net)
2020-11-02 10:14:42 × tuple quits (~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2020-11-02 10:18:44 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-11-02 10:20:28 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds)
2020-11-02 10:22:01 hackage postgresql-libpq 0.9.4.3 - low-level binding to libpq https://hackage.haskell.org/package/postgresql-libpq-0.9.4.3 (phadej)
2020-11-02 10:22:26 → acidjnk_new joins (~acidjnk@p200300d0c72260501db9c4f6165b2eaf.dip0.t-ipconnect.de)
2020-11-02 10:22:46 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-11-02 10:23:03 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-11-02 10:27:10 → nshepperd26 joins (~nshepperd@li364-218.members.linode.com)
2020-11-02 10:27:13 → eedgit22 joins (~chat.free@95.179.237.21)
2020-11-02 10:27:46 × rotaerk quits (~rotaerk@ender.afternet.org) (Ping timeout: 265 seconds)
2020-11-02 10:27:50 → stree_ joins (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-11-02 10:27:53 × pjb quits (~t@2a01cb04063ec5002c0fc7d86fb8e728.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer)
2020-11-02 10:27:53 × nshepperd2 quits (~nshepperd@li364-218.members.linode.com) (Read error: Connection reset by peer)
2020-11-02 10:27:54 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Excess Flood)
2020-11-02 10:27:54 × eedgit2 quits (~chat.free@95.179.237.21) (Read error: Connection reset by peer)
2020-11-02 10:27:54 × p3n quits (~p3n@217.198.124.246) (Ping timeout: 260 seconds)
2020-11-02 10:27:54 nshepperd26 is now known as nshepperd2
2020-11-02 10:27:54 eedgit22 is now known as eedgit2
2020-11-02 10:27:56 × nekomune quits (~nekomune@comfy.moe) (Quit: ZNC 1.7.2 - https://znc.in)
2020-11-02 10:28:03 → p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2020-11-02 10:28:14 → nekomune joins (~nekomune@comfy.moe)
2020-11-02 10:28:15 × DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 265 seconds)
2020-11-02 10:29:20 → alp joins (~alp@2a01:e0a:58b:4920:34a0:e5bb:3231:c2c3)
2020-11-02 10:29:57 × florian_ quits (~florian@85-170-214-92.rev.numericable.fr) (Read error: Connection reset by peer)
2020-11-02 10:30:24 → florian_ joins (~florian@85-170-214-92.rev.numericable.fr)
2020-11-02 10:32:44 → khaladrogo_lite joins (~khaladrog@2405:204:5204:7e58:f1ab:1e40:6c9b:8f55)
2020-11-02 10:34:46 × rprije quits (~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 268 seconds)
2020-11-02 10:35:01 × sam___ quits (~sam@228.175.185.81.rev.sfr.net) (Ping timeout: 264 seconds)
2020-11-02 10:39:33 → ubert joins (~Thunderbi@p200300ecdf1e53d1e6b318fffe838f33.dip0.t-ipconnect.de)
2020-11-02 10:45:33 → LKoen joins (~LKoen@79.160.9.109.rev.sfr.net)
2020-11-02 10:50:06 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 10:55:18 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-02 10:55:27 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:dea6:32ff:fe5b:d45f)
2020-11-02 10:56:54 → sam___ joins (~sam@5.197.204.77.rev.sfr.net)
2020-11-02 10:57:13 → sh9 joins (~sh9@softbank060116136158.bbtec.net)
2020-11-02 10:57:27 → pjb joins (~t@2a01cb04063ec5002c0fc7d86fb8e728.ipv6.abo.wanadoo.fr)
2020-11-02 11:01:25 → rotaerk joins (rotaerk@2600:3c02::f03c:91ff:fe70:4a45)
2020-11-02 11:01:27 × nkly quits (~nkly@ip5b40d080.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2020-11-02 11:01:42 → domjancik joins (~domj@77.139.218.14)
2020-11-02 11:02:00 × domj quits (~domj@77.139.218.14) (Ping timeout: 256 seconds)
2020-11-02 11:02:26 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 264 seconds)
2020-11-02 11:02:31 → nkly joins (~nkly@ip5b40d080.dynamic.kabel-deutschland.de)
2020-11-02 11:03:15 → is_null joins (~jpic@pdpc/supporter/professional/is-null)
2020-11-02 11:05:30 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-02 11:06:35 × rotaerk quits (rotaerk@2600:3c02::f03c:91ff:fe70:4a45) (Ping timeout: 272 seconds)
2020-11-02 11:06:52 × darjeeling_ quits (~darjeelin@115.215.40.228) (Quit: WeeChat 2.9)
2020-11-02 11:07:53 → darjeeling_ joins (~darjeelin@115.215.40.228)
2020-11-02 11:12:12 <dminuoso> Is using equality constraints as "type level let-bindings" a sane thing to do?
2020-11-02 11:12:12 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 256 seconds)
2020-11-02 11:12:41 <dminuoso> in particular to sort of "bind the result of a tyfam"
2020-11-02 11:13:03 <dminuoso> e.g. `forall m s. (m ~ MappedInto s, Foo s, Bar m, Quux m) => ...`
2020-11-02 11:14:36 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-02 11:15:26 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-11-02 11:15:45 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-02 11:16:34 → Eason0210 joins (~user@101.85.10.81)
2020-11-02 11:16:55 × sam___ quits (~sam@5.197.204.77.rev.sfr.net) (Ping timeout: 260 seconds)
2020-11-02 11:17:27 → sam___ joins (~sam@5.197.204.77.rev.sfr.net)
2020-11-02 11:21:52 × zincy__ quits (~tom@host86-169-79-54.range86-169.btcentralplus.com) (Remote host closed the connection)
2020-11-02 11:23:36 × Tario quits (~Tario@201.191.91.236) (Ping timeout: 256 seconds)
2020-11-02 11:25:42 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
2020-11-02 11:26:16 → Tario joins (~Tario@200.119.184.48)
2020-11-02 11:27:38 × chaosmasttter quits (~chaosmast@p200300c4a72dee01a86cafb086ba766e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-11-02 11:30:32 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-02 11:33:46 × LKoen quits (~LKoen@79.160.9.109.rev.sfr.net) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 .. 5022

All times are in UTC.