Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-04-08 04:45:02 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:6987:f17b:abed:1830) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-08 04:46:15 frozenErebus joins (~frozenEre@37.231.244.249)
2021-04-08 04:46:43 × NGravity quits (csp@gateway/shell/xshellz/x-xeirqxdnpwrslhwp) (Ping timeout: 248 seconds)
2021-04-08 04:47:29 NGravity joins (csp@gateway/shell/xshellz/x-fqlktjjmzfodnifg)
2021-04-08 04:55:10 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds)
2021-04-08 04:58:39 Tario joins (~Tario@201.192.165.173)
2021-04-08 04:58:45 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-08 05:04:46 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-04-08 05:05:57 × Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 260 seconds)
2021-04-08 05:07:41 molehillish joins (~molehilli@2600:8800:8d06:1800:e032:860d:11aa:7812)
2021-04-08 05:11:46 × myShoggoth quits (~myShoggot@75.164.73.93) (Ping timeout: 260 seconds)
2021-04-08 05:14:37 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2021-04-08 05:17:27 × pmuir quits (~pmuir@185.204.1.185) (Remote host closed the connection)
2021-04-08 05:22:13 arturh joins (~arturh@93.176.180.48)
2021-04-08 05:22:37 Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-08 05:22:50 notzmv joins (~zmv@unaffiliated/zmv)
2021-04-08 05:27:47 × trcm quits (~trcm@103.153.243.79) (Remote host closed the connection)
2021-04-08 05:28:31 MarkusH1 joins (~MarkusH@195.140.213.38)
2021-04-08 05:32:26 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-08 05:32:35 × Guest29374 quits (~textual@2603-7000-3040-0000-d06d-9c04-03df-c710.res6.spectrum.com) (Ping timeout: 258 seconds)
2021-04-08 05:38:41 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-08 05:40:40 mctpyt joins (~mctpyt@unaffiliated/mctpyt)
2021-04-08 05:42:05 Varis joins (~Tadas@unaffiliated/varis)
2021-04-08 05:42:19 minoru_shiraeesh joins (~shiraeesh@109.166.57.223)
2021-04-08 05:43:55 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-04-08 05:44:16 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-08 05:48:38 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-08 05:52:06 stree joins (~stree@68.36.8.116)
2021-04-08 05:55:27 × MarkusH1 quits (~MarkusH@195.140.213.38) (Remote host closed the connection)
2021-04-08 05:55:53 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-08 05:56:06 no_cluez joins (~no_cluez@185.204.1.185)
2021-04-08 05:58:36 cfricke joins (~cfricke@unaffiliated/cfricke)
2021-04-08 05:59:28 cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-08 06:01:38 plutoniix joins (~q@184.82.198.236)
2021-04-08 06:03:26 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-08 06:10:12 marinelli joins (~marinelli@gateway/tor-sasl/marinelli)
2021-04-08 06:10:52 × marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2021-04-08 06:10:56 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-04-08 06:11:13 marinelli joins (~marinelli@gateway/tor-sasl/marinelli)
2021-04-08 06:14:16 nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-08 06:19:09 _ht joins (~quassel@82-169-194-8.biz.kpn.net)
2021-04-08 06:20:31 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-nyysfddoxuidbcdr) (Quit: Connection closed for inactivity)
2021-04-08 06:22:15 desophos joins (~desophos@2601:249:1680:a570:34e2:d01d:ac0e:1b9)
2021-04-08 06:23:00 × average quits (uid473595@gateway/web/irccloud.com/x-emhfocwfjlhcyvsq) (Quit: Connection closed for inactivity)
2021-04-08 06:27:09 sord937 joins (~sord937@gateway/tor-sasl/sord937)
2021-04-08 06:27:14 v01d4lph4 joins (~v01d4lph4@223.177.183.27)
2021-04-08 06:30:50 Major_Biscuit joins (~Major_Bis@82-169-100-198.biz.kpn.net)
2021-04-08 06:33:24 idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-08 06:34:58 × Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 240 seconds)
2021-04-08 06:35:43 danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-04-08 06:39:43 graf_blutwurst joins (~user@2001:171b:226e:adc0:7435:21b3:df2a:1469)
2021-04-08 06:41:51 gproto23 joins (~gproto23@unaffiliated/gproto23)
2021-04-08 06:48:04 Ranhir joins (~Ranhir@157.97.53.139)
2021-04-08 06:50:35 × minoru_shiraeesh quits (~shiraeesh@109.166.57.223) (Ping timeout: 246 seconds)
2021-04-08 06:52:05 minoru_shiraeesh joins (~shiraeesh@109.166.57.223)
2021-04-08 06:56:29 fiedlr joins (~fiedlr@83.148.33.254)
2021-04-08 06:56:38 × s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds)
2021-04-08 06:57:00 rdd joins (~user@c-407ce255.012-81-73746f39.cust.ownit.se)
2021-04-08 06:58:46 s00pcan joins (~chris@107.181.165.217)
2021-04-08 07:00:20 × desophos quits (~desophos@2601:249:1680:a570:34e2:d01d:ac0e:1b9) (Quit: Leaving)
2021-04-08 07:00:23 idhugo_ joins (~idhugo@80-62-116-143-mobile.dk.customer.tdc.net)
2021-04-08 07:00:47 malumore joins (~malumore@151.62.113.39)
2021-04-08 07:02:41 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-08 07:02:57 dpl joins (~dpl@77-121-78-163.chn.volia.net)
2021-04-08 07:03:18 mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net)
2021-04-08 07:05:17 black_mask joins (user@gateway/vpn/mullvad/blackmask/x-17493077)
2021-04-08 07:05:58 Varis joins (~Tadas@unaffiliated/varis)
2021-04-08 07:06:38 Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk)
2021-04-08 07:07:58 srk joins (~sorki@unaffiliated/srk)
2021-04-08 07:08:41 juri__ is now known as juri_
2021-04-08 07:16:44 × minoru_shiraeesh quits (~shiraeesh@109.166.57.223) (Ping timeout: 268 seconds)
2021-04-08 07:17:02 Pickchea joins (~private@unaffiliated/pickchea)
2021-04-08 07:18:23 michalz joins (~user@185.246.204.43)
2021-04-08 07:19:31 × idhugo_ quits (~idhugo@80-62-116-143-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-04-08 07:20:04 idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-08 07:23:24 idhugo_ joins (~idhugo@80-62-116-143-mobile.dk.customer.tdc.net)
2021-04-08 07:25:10 <nshepperd> when's the impredicative polymorphism that works coming? I've finally found a case where i think i need it heh
2021-04-08 07:25:46 × idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-08 07:26:08 <c_wraith> it's in the current alpha
2021-04-08 07:28:01 minoru_shiraeesh joins (~shiraeesh@109.166.57.223)
2021-04-08 07:28:39 <nshepperd> awesome
2021-04-08 07:29:23 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-08 07:30:32 poljar joins (~poljar@93-141-129-205.adsl.net.t-com.hr)
2021-04-08 07:31:34 mkDoku joins (~TheMule@aftr-37-201-195-134.unity-media.net)
2021-04-08 07:31:49 × poljar1 quits (~poljar@93-139-86-101.adsl.net.t-com.hr) (Ping timeout: 260 seconds)
2021-04-08 07:32:05 × raym quits (~ray@45.64.220.116) (Ping timeout: 252 seconds)
2021-04-08 07:32:54 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:69eb:317d:6c76:80fb) (Ping timeout: 246 seconds)
2021-04-08 07:36:48 × howdoi quits (uid224@gateway/web/irccloud.com/x-ucsrbnmysyuxrtpn) (Quit: Connection closed for inactivity)
2021-04-08 07:37:09 Sorny joins (~Sornaensi@79.142.232.102)
2021-04-08 07:38:58 raym joins (~ray@45.64.220.116)
2021-04-08 07:39:47 × Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 252 seconds)
2021-04-08 07:41:48 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-xsuaebaitzobmxge) (Quit: Connection closed for inactivity)
2021-04-08 07:45:49 × stree quits (~stree@68.36.8.116) (Quit: Caught exception)
2021-04-08 07:46:14 stree joins (~stree@68.36.8.116)
2021-04-08 07:47:27 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-04-08 07:47:54 idhugo__ joins (~idhugo@130.225.16.16)
2021-04-08 07:48:49 shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:cde1:2c3d:19e0:545)
2021-04-08 07:50:06 × molehillish quits (~molehilli@2600:8800:8d06:1800:e032:860d:11aa:7812) (Remote host closed the connection)
2021-04-08 07:50:11 × idhugo_ quits (~idhugo@80-62-116-143-mobile.dk.customer.tdc.net) (Ping timeout: 248 seconds)
2021-04-08 07:51:49 poljar1 joins (~poljar@93-139-112-157.adsl.net.t-com.hr)

All times are in UTC.