Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 .. 5022
— 502,152 events total
2020-11-18 07:19:16 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-18 07:20:10 → alp joins (~alp@2a01:e0a:58b:4920:f15e:f3ed:dd53:300e)
2020-11-18 07:20:39 × larou quits (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145) (Quit: Connection closed)
2020-11-18 07:24:01 hackage subG 0.2.1.0 - Some extension to the Foldable and Monoid classes. https://hackage.haskell.org/package/subG-0.2.1.0 (OleksandrZhabenko)
2020-11-18 07:28:26 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 268 seconds)
2020-11-18 07:32:12 × bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Quit: leaving)
2020-11-18 07:32:56 → codeAlways joins (uid272474@gateway/web/irccloud.com/x-gprgopjmphvaootv)
2020-11-18 07:33:40 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-11-18 07:34:45 × ajmcmiddlin quits (sid284402@gateway/web/irccloud.com/x-esnyudzmonhtpktj) (Ping timeout: 240 seconds)
2020-11-18 07:35:24 → ajmcmiddlin joins (sid284402@gateway/web/irccloud.com/x-rzusuwaofduhllmt)
2020-11-18 07:35:45 → bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com)
2020-11-18 07:41:19 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-11-18 07:44:26 → dragestil joins (~quassel@185.137.175.104)
2020-11-18 07:48:30 × dragestil quits (~quassel@185.137.175.104) (Client Quit)
2020-11-18 07:48:34 <dminuoso> koz_: A rigid type variable is one that is not wobbly...
2020-11-18 07:48:57 <dminuoso> https://www.microsoft.com/en-us/research/publication/wobbly-types-type-inference-for-generalised-algebraic-data-types/
2020-11-18 07:54:03 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-18 07:54:43 <dminuoso> dolio: Also, are you sure about your characterization that a rigid will not unify with anything else? Does it not unify with a unificational variable?
2020-11-18 07:58:56 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-11-18 08:01:22 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-11-18 08:01:29 × jespada quits (~jespada@90.254.245.49) (Quit: Leaving)
2020-11-18 08:02:06 → jespada joins (~jespada@90.254.245.49)
2020-11-18 08:02:48 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-11-18 08:12:15 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-78-149.revip7.asianet.co.th)
2020-11-18 08:12:47 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-18 08:14:51 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-18 08:15:40 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-18 08:16:41 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-dkkwvspwitpqcrse)
2020-11-18 08:17:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-18 08:20:13 → chaosmasttter joins (~chaosmast@p200300c4a70b2a01fdbe436b20b9f284.dip0.t-ipconnect.de)
2020-11-18 08:21:11 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-18 08:21:27 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-11-18 08:27:36 → dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-11-18 08:28:40 × infinity0 quits (~infinity0@freenet/developer/infinity0) (Remote host closed the connection)
2020-11-18 08:29:40 → coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-18 08:30:49 → infinity0 joins (~infinity0@freenet/developer/infinity0)
2020-11-18 08:31:26 → guest111` joins (~user@49.5.6.87)
2020-11-18 08:33:33 → kuribas joins (~user@ptr-25vy0ia1gi47vc0v7ie.18120a2.ip6.access.telenet.be)
2020-11-18 08:37:25 × revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2020-11-18 08:37:49 → raichoo joins (~raichoo@dslb-178-001-021-225.178.001.pools.vodafone-ip.de)
2020-11-18 08:37:52 → revprez_anzio joins (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-11-18 08:37:53 → isacl___ joins (uid13263@gateway/web/irccloud.com/x-yofapmbxdjxmgdaw)
2020-11-18 08:38:33 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-18 08:41:07 × petersen quits (~petersen@redhat/juhp) (Quit: petersen)
2020-11-18 08:41:25 → Ariakenom joins (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se)
2020-11-18 08:41:48 → petersen joins (~petersen@redhat/juhp)
2020-11-18 08:42:45 × coco quits (~coco@212-51-146-87.fiber7.init7.net) (Quit: WeeChat 2.9)
2020-11-18 08:45:34 → Yumasi joins (~guillaume@2a01cb09b06b29ea21daa97718c35c9f.ipv6.abo.wanadoo.fr)
2020-11-18 08:46:36 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-11-18 08:46:53 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-18 08:49:07 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-18 08:51:12 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 272 seconds)
2020-11-18 08:51:58 × ridcully quits (~ridcully@p57b5259e.dip0.t-ipconnect.de) (Quit: update)
2020-11-18 08:53:00 → ridcully joins (~ridcully@p57b5259e.dip0.t-ipconnect.de)
2020-11-18 08:54:16 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-18 08:54:32 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-18 08:55:11 → borne joins (~fritjof@200116b864880600f1dc39039d201adf.dip.versatel-1u1.de)
2020-11-18 08:57:37 → thc202 joins (~thc202@unaffiliated/thc202)
2020-11-18 08:58:40 → jakob_ joins (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de)
2020-11-18 08:59:17 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-18 09:00:01 × forcer1 quits (~forcer@s91904426.blix.com) ()
2020-11-18 09:00:15 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-18 09:00:31 → Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk)
2020-11-18 09:03:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-11-18 09:06:16 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds)
2020-11-18 09:07:16 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection)
2020-11-18 09:07:40 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-78-149.revip7.asianet.co.th) (Ping timeout: 272 seconds)
2020-11-18 09:11:26 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:eb39:3323:4fa4:f361) (Ping timeout: 264 seconds)
2020-11-18 09:11:54 → acidjnk_new joins (~acidjnk@p200300d0c719ff876dbcfe4d3d96265f.dip0.t-ipconnect.de)
2020-11-18 09:14:06 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-18 09:14:16 × nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 240 seconds)
2020-11-18 09:17:33 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-18 09:23:14 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:bdf6:510e:2b42:888e)
2020-11-18 09:25:14 × a3Dman quits (~3Dman@unaffiliated/a3dman) (Ping timeout: 246 seconds)
2020-11-18 09:25:23 → christo joins (~chris@81.96.113.213)
2020-11-18 09:26:07 → DavidEichmann joins (~david@62.110.198.146.dyn.plus.net)
2020-11-18 09:29:06 → a3Dman joins (~3Dman@unaffiliated/a3dman)
2020-11-18 09:30:18 × kqr quits (~kqr@vps.xkqr.org) (Ping timeout: 256 seconds)
2020-11-18 09:32:04 × nh quits (~NextHendr@unaffiliated/nexthendrix) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2020-11-18 09:32:24 → nh joins (~NextHendr@finickitively.co.uk)
2020-11-18 09:32:48 nh is now known as Guest8782
2020-11-18 09:32:54 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-eaonyjbsdauymoqz) (Quit: Connection closed for inactivity)
2020-11-18 09:35:46 → kqr joins (~kqr@vps.xkqr.org)
2020-11-18 09:35:51 <tomsmeding> funny how lambdabot apparently considers '@' to be the line end when reading from hoohle?
2020-11-18 09:35:56 <tomsmeding> *hoogle
2020-11-18 09:36:41 × jakob_ quits (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-18 09:39:20 → ubert joins (~Thunderbi@p200300ecdf1e53c9e6b318fffe838f33.dip0.t-ipconnect.de)
2020-11-18 09:41:12 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2020-11-18 09:43:33 → jakob_ joins (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de)
2020-11-18 09:43:38 × Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Read error: Connection reset by peer)
2020-11-18 09:43:42 → Axma80880 joins (~Axman6@pdpc/supporter/student/Axman6)
2020-11-18 09:43:57 → zaquest joins (~notzaques@5.128.210.178)
2020-11-18 09:45:26 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-18 09:46:42 → da39a3ee5e6b4b0d joins (~da39a3ee5@ppp-27-55-83-106.revip3.asianet.co.th)
2020-11-18 09:47:06 × phaazon quits (~phaazon@ns378376.ip-5-196-95.eu) (Quit: WeeChat 2.8)
2020-11-18 09:47:44 × jakob_ quits (~textual@dynamic-093-135-025-031.93.135.pool.telefonica.de) (Client Quit)
2020-11-18 09:49:16 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-18 09:50:48 → phaazon joins (~phaazon@2001:41d0:a:fe76::1)
2020-11-18 09:50:54 × hereEthereal quits (4913050a@c-73-19-5-10.hsd1.wa.comcast.net) (Ping timeout: 245 seconds)
2020-11-18 09:51:41 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
←Prev  Next→
Page 1 .. 1349 1350 1351 1352 1353 1354 1355 1356 1357 1358 1359 .. 5022

All times are in UTC.