Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4683 4684 4685 4686 4687 4688 4689 4690 4691 4692 4693 .. 5022
— 502,152 events total
2021-05-01 07:24:10 × kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection)
2021-05-01 07:25:16 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2021-05-01 07:25:43 → kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt)
2021-05-01 07:38:25 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds)
2021-05-01 07:41:47 → wonko7 joins (~wonko7@62.115.229.50)
2021-05-01 07:42:32 → ddellacosta joins (~ddellacos@86.106.143.151)
2021-05-01 07:45:11 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-01 07:46:44 × ddellacosta quits (~ddellacos@86.106.143.151) (Ping timeout: 246 seconds)
2021-05-01 07:49:49 → ram19890 joins (~ram@49.205.84.15)
2021-05-01 07:50:06 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-05-01 08:03:40 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-05-01 08:05:06 → nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5)
2021-05-01 08:08:12 → hendursaga joins (~weechat@gateway/tor-sasl/hendursaga)
2021-05-01 08:10:21 × hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-05-01 08:12:07 × nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds)
2021-05-01 08:16:07 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-01 08:20:41 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2021-05-01 08:23:43 → ram19890_ joins (~ram@49.205.84.15)
2021-05-01 08:25:52 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-01 08:26:15 hackage sockets-and-pipes 0.2 - Support for the Sockets and Pipes book https://hackage.haskell.org/package/sockets-and-pipes-0.2 (chris_martin)
2021-05-01 08:27:46 × ram19890 quits (~ram@49.205.84.15) (Ping timeout: 265 seconds)
2021-05-01 08:29:09 → plutoniix joins (~q@node-upe.pool-125-24.dynamic.totinternet.net)
2021-05-01 08:33:55 → hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-05-01 08:34:28 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-05-01 08:40:00 → acidjnk_new2 joins (~acidjnk@p200300d0c72b95037456cb0444e0d02f.dip0.t-ipconnect.de)
2021-05-01 08:45:47 → alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d)
2021-05-01 08:46:17 alexander is now known as Guest20148
2021-05-01 08:47:39 → LKoen joins (~LKoen@22.249.88.92.rev.sfr.net)
2021-05-01 08:49:42 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-01 08:52:45 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-01 08:54:52 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-01 08:57:11 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-01 08:58:27 → v01d4lph4 joins (~v01d4lph4@171.48.62.25)
2021-05-01 09:00:02 → m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-05-01 09:00:03 × mrus[m] quits (mrusmatrix@gateway/shell/matrix.org/x-nwqeewfgxdoywgen) (Quit: Idle for 30+ days)
2021-05-01 09:01:59 × hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1)
2021-05-01 09:05:57 → jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net)
2021-05-01 09:07:35 → stree joins (~stree@68.36.8.116)
2021-05-01 09:09:34 × puke quits (~vroom@217.138.252.196) (Quit: puke)
2021-05-01 09:10:25 → nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5)
2021-05-01 09:10:34 → Qwerky joins (~qwerky@37.172.55.41)
2021-05-01 09:10:41 → poljar joins (~poljar@93-143-176-203.adsl.net.t-com.hr)
2021-05-01 09:11:58 × Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer)
2021-05-01 09:12:12 × nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Remote host closed the connection)
2021-05-01 09:12:24 → puke joins (~vroom@217.138.252.196)
2021-05-01 09:13:11 → nineonine joins (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5)
2021-05-01 09:13:11 × poljar1 quits (~poljar@93-139-112-157.adsl.net.t-com.hr) (Ping timeout: 260 seconds)
2021-05-01 09:14:49 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-01 09:15:49 → nicholasbulka joins (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184)
2021-05-01 09:18:25 × nineonine quits (~nineonine@2604:3d08:7785:9600:18b4:fb35:8b27:bdb5) (Ping timeout: 276 seconds)
2021-05-01 09:19:18 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-01 09:20:05 × nicholasbulka quits (~nicholasb@2601:900:4301:da0:24e9:b8ab:68b0:2184) (Ping timeout: 250 seconds)
2021-05-01 09:22:13 → sh9 joins (~sh9@softbank060116136158.bbtec.net)
2021-05-01 09:22:35 → fendor joins (~fendor@91.141.2.250.wireless.dyn.drei.com)
2021-05-01 09:25:36 × Qwerky quits (~qwerky@37.172.55.41) (Remote host closed the connection)
2021-05-01 09:26:19 → ddellacosta joins (~ddellacos@86.106.143.10)
2021-05-01 09:26:23 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-01 09:27:21 → nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-01 09:30:26 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-05-01 09:30:47 × johnnyv[m] quits (badwolf256@gateway/shell/matrix.org/x-snikqtdbljwraqcc) (*.net *.split)
2021-05-01 09:30:48 × seveg quits (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (*.net *.split)
2021-05-01 09:30:48 × codedmart quits (codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split)
2021-05-01 09:30:48 × juri_ quits (~juri@178.63.35.222) (*.net *.split)
2021-05-01 09:30:48 × Forlorn_ quits (~Forlorn@unaffiliated/forlorn) (*.net *.split)
2021-05-01 09:30:48 × caasih quits (sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa) (*.net *.split)
2021-05-01 09:30:48 × ibloom quits (sid350277@gateway/web/irccloud.com/x-yhokoaaxqmoudodu) (*.net *.split)
2021-05-01 09:30:48 × alexknvl quits (sid259568@gateway/web/irccloud.com/x-wdxobfzstmpkvclf) (*.net *.split)
2021-05-01 09:30:49 × kaletaa quits (~kaletaa@188.34.177.83) (*.net *.split)
2021-05-01 09:30:49 × kloeri quits (~kloeri@freenode/staff/exherbo.kloeri) (*.net *.split)
2021-05-01 09:30:49 × joeytwiddle quits (~joeytwidd@162.243.115.31) (*.net *.split)
2021-05-01 09:30:49 × lovesegfault quits (~bemeurer@37.219.94.34.bc.googleusercontent.com) (*.net *.split)
2021-05-01 09:30:49 × TMA quits (tma@twin.jikos.cz) (*.net *.split)
2021-05-01 09:31:16 × ddellacosta quits (~ddellacos@86.106.143.10) (Ping timeout: 260 seconds)
2021-05-01 09:31:34 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-05-01 09:32:06 × jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 246 seconds)
2021-05-01 09:33:03 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.9)
2021-05-01 09:35:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-01 09:35:31 → alexknvl joins (sid259568@gateway/web/irccloud.com/x-lbsuvmnzhurzmlgb)
2021-05-01 09:36:01 → ibloom joins (sid350277@gateway/web/irccloud.com/x-tmdqaspioghaundv)
2021-05-01 09:36:26 → seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk)
2021-05-01 09:37:04 <merijn> olligobber: "TExp a" is just a newtype wrapper with a phantom around Exp
2021-05-01 09:37:07 → johnnyv[m] joins (badwolf256@gateway/shell/matrix.org/x-snikqtdbljwraqcc)
2021-05-01 09:37:07 → codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511)
2021-05-01 09:37:07 → juri_ joins (~juri@178.63.35.222)
2021-05-01 09:37:07 → Forlorn_ joins (~Forlorn@unaffiliated/forlorn)
2021-05-01 09:37:07 → caasih joins (sid13241@gateway/web/irccloud.com/x-ywhvuyflycmojjfa)
2021-05-01 09:37:07 → lovesegfault joins (~bemeurer@37.219.94.34.bc.googleusercontent.com)
2021-05-01 09:37:07 → kloeri joins (~kloeri@freenode/staff/exherbo.kloeri)
2021-05-01 09:37:07 → kaletaa joins (~kaletaa@188.34.177.83)
2021-05-01 09:37:07 → joeytwiddle joins (~joeytwidd@162.243.115.31)
2021-05-01 09:37:07 → TMA joins (tma@twin.jikos.cz)
2021-05-01 09:37:11 <merijn> olligobber: https://hackage.haskell.org/package/template-haskell-2.17.0.0/docs/Language-Haskell-TH-Syntax.html#t:TExp
2021-05-01 09:37:24 <olligobber> merijn, I thought so, that's basically what my TypedLambda type is too
2021-05-01 09:37:35 <merijn> olligobber: So you can just "unType" to coerce it into an untyped Exp
2021-05-01 09:37:39 <olligobber> anyway, turns out the error was not in valid, it was elsewhere
2021-05-01 09:37:45 <olligobber> and is now fixed
2021-05-01 09:37:49 <merijn> \o/
2021-05-01 09:37:51 <olligobber> basically I forgot two $
2021-05-01 09:38:04 → __minoru__shirae joins (~shiraeesh@109.166.57.34)
2021-05-01 09:43:32 → poljar1 joins (~poljar@78-1-50-121.adsl.net.t-com.hr)
←Prev  Next→
Page 1 .. 4683 4684 4685 4686 4687 4688 4689 4690 4691 4692 4693 .. 5022

All times are in UTC.