Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 304 305 306 307 308 309 310 311 312 313 314 .. 17990
— 1,798,914 events total
2021-06-06 06:37:10 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Remote host closed the connection)
2021-06-06 06:37:22 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-06 06:42:01 × azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-06-06 06:43:32 × myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 252 seconds)
2021-06-06 06:46:16 → notzmv joins (~zmv@user/notzmv)
2021-06-06 06:50:56 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-06 06:52:59 → waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-06-06 06:55:35 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds)
2021-06-06 06:56:58 × rk04 quits (~rk04@user/rajk) (Ping timeout: 272 seconds)
2021-06-06 06:57:05 Pixi_ is now known as Pixi
2021-06-06 06:57:25 → ddellaco_ joins (~ddellacos@86.106.121.45)
2021-06-06 06:58:19 → rk04 joins (~rk04@user/rajk)
2021-06-06 06:59:03 × Pixi quits (~Pixi@user/pixi) (Quit: Leaving)
2021-06-06 06:59:31 → Toast52_ joins (~Toast52@151.192.167.120)
2021-06-06 07:00:12 × Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-06-06 07:00:43 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-06 07:00:59 → lavaman joins (~lavaman@98.38.249.169)
2021-06-06 07:01:05 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-06-06 07:01:14 → wonko joins (~wjc@62.115.229.50)
2021-06-06 07:01:49 → tose joins (~tose@ip-85-160-1-51.eurotel.cz)
2021-06-06 07:02:17 × ddellaco_ quits (~ddellacos@86.106.121.45) (Ping timeout: 272 seconds)
2021-06-06 07:02:22 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
2021-06-06 07:02:24 → bfrk joins (~Thunderbi@200116b845b1f5008103f1add8a488d1.dip.versatel-1u1.de)
2021-06-06 07:02:47 juri__ is now known as juri_
2021-06-06 07:03:33 × Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 272 seconds)
2021-06-06 07:05:15 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-06 07:07:00 → Pixi joins (~Pixi@user/pixi)
2021-06-06 07:11:10 → Morrow joins (~Morrow@147.161.12.45)
2021-06-06 07:20:18 × img quits (~img@user/img) (Quit: ZNC 1.8.1 - https://znc.in)
2021-06-06 07:21:57 → img joins (~img@user/img)
2021-06-06 07:24:32 → azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it)
2021-06-06 07:28:21 × img quits (~img@user/img) (Quit: ZNC 1.8.1 - https://znc.in)
2021-06-06 07:29:59 → img joins (~img@user/img)
2021-06-06 07:38:42 → gehmehgeh joins (~user@user/gehmehgeh)
2021-06-06 07:39:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-06 07:40:45 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-06-06 07:43:15 × doyougnu quits (~user@c-67-168-253-231.hsd1.or.comcast.net) (Ping timeout: 245 seconds)
2021-06-06 07:46:36 → fendor joins (~fendor@77.119.131.188.wireless.dyn.drei.com)
2021-06-06 07:47:49 × img quits (~img@user/img) (Quit: ZNC 1.8.1 - https://znc.in)
2021-06-06 07:48:52 → img joins (~img@user/img)
2021-06-06 07:59:00 × m1dnight quits (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1)
2021-06-06 07:59:08 → m1dnight joins (~christoph@188.ip-51-91-158.eu)
2021-06-06 08:00:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-06 08:00:15 → zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-06-06 08:00:54 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-06 08:01:44 → lavaman joins (~lavaman@98.38.249.169)
2021-06-06 08:02:05 ← bfrk parts (~Thunderbi@200116b845b1f5008103f1add8a488d1.dip.versatel-1u1.de) ()
2021-06-06 08:02:47 × dunkeln quits (~dunkeln@94.129.65.28) (Quit: leaving)
2021-06-06 08:02:47 → pe200012 joins (~pe200012@119.145.72.136)
2021-06-06 08:04:24 → a6a45081-2b83 joins (~aditya@223.235.239.159)
2021-06-06 08:06:30 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-06-06 08:07:25 → hendursa1 joins (~weechat@user/hendursaga)
2021-06-06 08:10:10 × hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds)
2021-06-06 08:11:43 × tose quits (~tose@ip-85-160-1-51.eurotel.cz) (Ping timeout: 264 seconds)
2021-06-06 08:13:26 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-06 08:15:03 → img joins (~img@user/img)
2021-06-06 08:18:01 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-06-06 08:26:09 connrs_ is now known as connrs
2021-06-06 08:26:35 × connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-06 08:26:54 → connrs joins (~connrs@user/connrs)
2021-06-06 08:28:39 × connrs quits (~connrs@user/connrs) (Client Quit)
2021-06-06 08:29:00 → connrs joins (~connrs@user/connrs)
2021-06-06 08:29:59 → mc47 joins (~yecinem@89.246.239.190)
2021-06-06 08:30:19 × rk04 quits (~rk04@user/rajk) (Ping timeout: 272 seconds)
2021-06-06 08:35:06 → unyu joins (~pyon@user/pyon)
2021-06-06 08:35:11 anonymous is now known as river
2021-06-06 08:39:19 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:190a:219e:41c6:abab)
2021-06-06 08:43:20 → rk04 joins (~rk04@user/rajk)
2021-06-06 08:50:15 × p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-06 08:50:40 → p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2021-06-06 08:52:11 → arjun joins (~user@user/arjun)
2021-06-06 08:52:29 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-06 08:53:07 × rk04 quits (~rk04@user/rajk) (Ping timeout: 264 seconds)
2021-06-06 08:53:22 → zmt01 joins (~zmt00@user/zmt00)
2021-06-06 08:53:52 → spatchkaa_ joins (~spatchkaa@S010600fc8da47b63.gv.shawcable.net)
2021-06-06 08:53:53 × tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-06-06 08:54:37 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-06 08:54:56 → mpt joins (~tom@2a02:908:1862:49e0::5)
2021-06-06 08:56:10 → mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-06-06 08:56:16 → img joins (~img@user/img)
2021-06-06 08:56:38 × spatchkaa quits (~spatchkaa@S010600fc8da47b63.gv.shawcable.net) (Ping timeout: 252 seconds)
2021-06-06 08:56:38 × zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 252 seconds)
2021-06-06 08:58:15 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 245 seconds)
2021-06-06 08:58:32 → ddellaco_ joins (~ddellacos@86.106.121.64)
2021-06-06 08:59:58 → safinaskar joins (~user@109-252-90-89.nat.spd-mgts.ru)
2021-06-06 09:00:46 <safinaskar> it is possible to have multiple type contructors with same name? say, "data X = A | B; data Y = A | C". i want to refer to such constructors similary to this: X.A, Y.A
2021-06-06 09:01:28 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-06-06 09:01:35 <Hecate> I think so
2021-06-06 09:01:48 <safinaskar> i meant data constructors, of course
2021-06-06 09:02:04 <tomsmeding> safinaskar: I believe only if you put them in different modules and import those modules qualified
2021-06-06 09:02:10 <Hecate> yep ^
2021-06-06 09:03:03 → img joins (~img@user/img)
2021-06-06 09:03:07 <safinaskar> tomsmeding: and what if they are defined in same module?
2021-06-06 09:03:22 <safinaskar> i want something similar to "enum class" in modern c++
2021-06-06 09:03:32 <tomsmeding> not sure if haskell has that
2021-06-06 09:03:38 × ddellaco_ quits (~ddellacos@86.106.121.64) (Ping timeout: 272 seconds)
2021-06-06 09:04:27 <arjun> Hi Hecate
2021-06-06 09:04:55 <Hecate> hey arjun, what's up?
2021-06-06 09:05:17 <arjun> nm, how ya doin
2021-06-06 09:05:26 <Hecate> fairly good, thank you
←Prev  Next→
Page 1 .. 304 305 306 307 308 309 310 311 312 313 314 .. 17990

All times are in UTC.