Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 357 358 359 360 361 362 363 364 365 366 367 .. 17993
— 1,799,216 events total
2021-06-09 09:40:48 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2021-06-09 09:40:55 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3429:27e5:c9dc:b9d2)
2021-06-09 09:41:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-06-09 09:41:32 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 09:42:52 → nsilv joins (~nsilv@212.103.198.210)
2021-06-09 09:45:12 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-09 09:45:32 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3429:27e5:c9dc:b9d2) (Ping timeout: 268 seconds)
2021-06-09 09:46:35 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-09 09:46:44 × chomwitt quits (~Pitsikoko@2a02:587:dc02:b00:98b0:cd42:bd6f:8295) (Ping timeout: 245 seconds)
2021-06-09 09:47:24 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 09:48:54 × emliunix_ quits (~emliunix@b4kebweac68.route-server.jp) (Remote host closed the connection)
2021-06-09 09:52:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-09 09:53:17 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 09:56:11 → bramhaag joins (~bramhaag@134.195.121.39)
2021-06-09 09:56:40 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-09 09:58:40 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-06-09 09:59:16 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 10:00:07 <involans> ooh, `LexicalNegation` looks great. Thanks yushyin
2021-06-09 10:00:45 → jippiedoe joins (~david@77-171-152-62.fixed.kpn.net)
2021-06-09 10:02:26 → abraham joins (~abraham@173.239.198.148)
2021-06-09 10:04:21 → tromp joins (~textual@dhcp-077-249-230-040.chello.nl)
2021-06-09 10:04:27 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-06-09 10:05:11 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 10:06:44 → Torro joins (Torro@gateway/vpn/protonvpn/torro)
2021-06-09 10:09:00 × Erutuon quits (~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
2021-06-09 10:09:12 → lavaman joins (~lavaman@98.38.249.169)
2021-06-09 10:09:37 → pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net)
2021-06-09 10:10:22 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-06-09 10:11:13 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 10:12:09 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:69cc:8900:882e:bc6e) (Ping timeout: 245 seconds)
2021-06-09 10:12:34 × chexum quits (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-06-09 10:13:24 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds)
2021-06-09 10:16:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-09 10:16:56 × abraham quits (~abraham@173.239.198.148) (Quit: Textual IRC Client: www.textualapp.com)
2021-06-09 10:17:02 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 10:18:55 → agumonke` joins (~user@88.160.31.174)
2021-06-09 10:22:04 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-06-09 10:22:42 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 10:23:10 × mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving)
2021-06-09 10:23:33 × brandonh quits (~brandonh@151.44.80.15) (Read error: Connection reset by peer)
2021-06-09 10:26:22 → poljar1 joins (~poljar@93-141-130-48.adsl.net.t-com.hr)
2021-06-09 10:27:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-09 10:28:07 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 10:28:19 Clint_ is now known as Clint
2021-06-09 10:28:21 → brandonh joins (~brandonh@151.44.23.230)
2021-06-09 10:28:34 × poljar quits (~poljar@93-139-12-109.adsl.net.t-com.hr) (Ping timeout: 250 seconds)
2021-06-09 10:30:57 × brandonh quits (~brandonh@151.44.23.230) (Client Quit)
2021-06-09 10:31:13 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-06-09 10:31:24 × agumonke` quits (~user@88.160.31.174) (Ping timeout: 252 seconds)
2021-06-09 10:31:25 → fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-06-09 10:33:36 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-06-09 10:35:37 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-06-09 10:35:56 × fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 250 seconds)
2021-06-09 10:36:25 ← mrufrufin parts (~dxk@108.235.170.90) ()
2021-06-09 10:37:00 × nsilv quits (~nsilv@212.103.198.210) (Ping timeout: 245 seconds)
2021-06-09 10:40:04 × niko quits (~niko@libera/staff/niko) (Remote host closed the connection)
2021-06-09 10:40:36 → niko joins (~niko@libera/staff/niko)
2021-06-09 10:41:18 ← jakalx parts (~jakalx@base.jakalx.net) ()
2021-06-09 10:41:19 × fabfianda quits (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 245 seconds)
2021-06-09 10:41:31 → RohitGoswami[m] joins (~rgoswamim@2001:470:69fc:105::16cc)
2021-06-09 10:41:46 → fabfianda joins (~fabfianda@mob-5-90-253-108.net.vodafone.it)
2021-06-09 10:42:01 × hmmmas quits (~chenqisu1@183.217.201.236) (Quit: Leaving.)
2021-06-09 10:42:20 → eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3429:27e5:c9dc:b9d2)
2021-06-09 10:43:54 × yd502 quits (~yd502@180.168.212.6) (Ping timeout: 244 seconds)
2021-06-09 10:44:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-06-09 10:45:50 → neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130)
2021-06-09 10:46:51 × koishi_ quits (~koishi_@160.16.113.140) (Quit: /ragequit)
2021-06-09 10:47:12 × eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3429:27e5:c9dc:b9d2) (Ping timeout: 268 seconds)
2021-06-09 10:47:44 <raehik> Years ago there was a handy GHC plugin framework HERMIT. I'm interested in using it but can't get it to build with GHC 8.10 (originally for 7.10? lots of functions now missing). Anyone here who may know more about HERMIT and possibility of using it in 2021?
2021-06-09 10:48:24 × _________ quits (~nobody@user//x-7881368) (Ping timeout: 245 seconds)
2021-06-09 10:48:45 <gentauro> involans: hmmm, `-1` should be a number and `- 1` should be a function awaiting for it's second value
2021-06-09 10:49:06 <gentauro> I mean, you don't write a decimal number like this: `10 . 24`
2021-06-09 10:50:51 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 10:51:12 → poljar joins (~poljar@93-143-149-172.adsl.net.t-com.hr)
2021-06-09 10:51:17 × tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-09 10:51:20 → koishi_ joins (~koishi_@185.209.85.134)
2021-06-09 10:52:50 × wonko quits (~wjc@62.115.229.50) (Ping timeout: 250 seconds)
2021-06-09 10:53:07 <maerwald> a single whitespace deciding on semantics is a dangerous path
2021-06-09 10:53:42 × poljar1 quits (~poljar@93-141-130-48.adsl.net.t-com.hr) (Ping timeout: 250 seconds)
2021-06-09 10:54:20 <tomsmeding> raehik: does it talk to the GHC library interface? If so, I think making it work with the GHC api of a few years later is basically impossible without a rewrite
2021-06-09 10:54:54 <yushyin> gentauro: you can have that since ghc9.0.1 and LexicalNegation extension
2021-06-09 10:55:06 <tomsmeding> unless it uses a very limited portion of the api or something
2021-06-09 10:55:29 <yushyin> gentauro: https://downloads.haskell.org/ghc/9.0.1/docs/html/users_guide/exts/lexical_negation.html#extension-LexicalNegation
2021-06-09 10:55:35 → _________ joins (~nobody@user//x-7881368)
2021-06-09 10:56:10 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-06-09 10:56:23 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-09 10:56:34 <raehik> tomsmeding: yes it does seem to hook in quite deep into GHC
2021-06-09 10:56:36 dyniec_ is now known as dyniec
2021-06-09 10:56:50 <raehik> most of the now-missing functions and constructors left in 8.0 - 8.4 :(
2021-06-09 10:58:35 × dyniec quits (~dyniec@mail.dybiec.info) (Quit: WeeChat 3.0)
2021-06-09 10:58:46 → dyniec joins (~dyniec@mail.dybiec.info)
2021-06-09 11:02:42 × mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 244 seconds)
2021-06-09 11:02:48 × pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 250 seconds)
2021-06-09 11:03:14 × jespada_ quits (~jespada@90.254.242.55) (Ping timeout: 250 seconds)
2021-06-09 11:05:12 → hendursa1 joins (~weechat@user/hendursaga)
2021-06-09 11:05:19 × hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds)
2021-06-09 11:06:19 × neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 268 seconds)
2021-06-09 11:06:30 → jespada joins (~jespada@90.254.242.55)
2021-06-09 11:06:38 → agumonke` joins (~user@88.160.31.174)
2021-06-09 11:10:52 × koishi_ quits (~koishi_@185.209.85.134) (Quit: /ragequit)
←Prev  Next→
Page 1 .. 357 358 359 360 361 362 363 364 365 366 367 .. 17993

All times are in UTC.