Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3919 3920 3921 3922 3923 3924 3925 3926 3927 3928 3929 .. 5022
— 502,152 events total
2021-03-19 21:44:06 × Gigabitten quits (~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 21:44:22 → ixian joins (~mgold@terra.bitplane.org)
2021-03-19 21:44:31 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 21:44:42 × RandomArcher quits (~isho@90.153.209.157) (Quit: Konversation terminated!)
2021-03-19 21:45:07 → Gigabitten joins (~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 21:48:32 × ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 240 seconds)
2021-03-19 21:49:07 → hexagenic joins (~mattias@2001:2002:51e0:74c9:2dfc:cd48:d15f:84d5)
2021-03-19 21:49:07 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 21:49:15 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 21:49:44 → ixian joins (~mgold@terra.bitplane.org)
2021-03-19 21:50:26 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2021-03-19 21:52:40 → ajc joins (~ajc@69.231.232.79)
2021-03-19 21:53:32 <joel135> how do you make a parsec Parser String which extracts x from a string of the form a ++ x ++ b ?
2021-03-19 21:54:30 <monochrom> I think it's an uphill battle.
2021-03-19 21:54:53 <monochrom> And the problem statement is likely way too general.
2021-03-19 21:55:47 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds)
2021-03-19 21:55:47 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 21:55:51 <joel135> ok
2021-03-19 21:56:21 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 21:56:36 × ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 244 seconds)
2021-03-19 21:56:45 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 265 seconds)
2021-03-19 21:57:05 <hpc> if you assume some assumptions, it's do {a; s <- x; b; pure s}
2021-03-19 21:57:12 <hpc> for some a, b, x
2021-03-19 21:57:23 <sm[m]> Or, is it simply a matter of https://hackage.haskell.org/package/parsec-3.1.14.0/docs/Text-Parsec-Combinator.html#v:between ?
2021-03-19 21:58:30 <joel135> with that i could handle things like .../x/... right
2021-03-19 21:58:38 <monochrom> "between" works if the middle string has no way of prematurely being recongized as b.
2021-03-19 21:58:57 × hexagenic quits (~mattias@2001:2002:51e0:74c9:2dfc:cd48:d15f:84d5) (Quit: WeeChat 1.9.1)
2021-03-19 21:59:36 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-03-19 21:59:53 hackage gemini-textboard 0.2.0.1 - A barebones textboard for the Gemini protocol https://hackage.haskell.org/package/gemini-textboard-0.2.0.1 (fgaz)
2021-03-19 22:00:06 <monochrom> For example /\// is not recognized as a="/", x="\/", b="/". No no, it is recognized as a="/", x="\", b="/", and there is a leftover "/" after.
2021-03-19 22:00:08 × knupfer quits (~Thunderbi@200116b82c36b500012af05275aa5516.dip.versatel-1u1.de) (Remote host closed the connection)
2021-03-19 22:00:16 → knupfer joins (~Thunderbi@200116b82c36b5005cb9ab2db6c57d7c.dip.versatel-1u1.de)
2021-03-19 22:00:23 <joel135> right
2021-03-19 22:00:35 <monochrom> parsec is not a non-deterministic automatically-try-all-possibilities-super-regex parser.
2021-03-19 22:00:37 × Gigabitten quits (~Somn@098-127-002-172.res.spectrum.com) (Remote host closed the connection)
2021-03-19 22:01:31 × apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 256 seconds)
2021-03-19 22:01:44 × malumore quits (~malumore@151.62.118.248) (Ping timeout: 240 seconds)
2021-03-19 22:02:13 × poljar quits (~poljar@93-139-86-101.adsl.net.t-com.hr) (Remote host closed the connection)
2021-03-19 22:02:40 → poljar joins (~poljar@93-139-86-101.adsl.net.t-com.hr)
2021-03-19 22:02:40 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 22:02:57 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 22:04:42 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds)
2021-03-19 22:09:26 → plast1k_ joins (~plast1k_@105.178.32.7)
2021-03-19 22:10:26 → p4trick joins (~p4trix@19.red-83-49-45.dynamicip.rima-tde.net)
2021-03-19 22:10:37 → Sgeo_ joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-19 22:10:54 → Gigabitten joins (~Somn@098-127-002-172.res.spectrum.com)
2021-03-19 22:11:07 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-03-19 22:11:25 × dh quits (dh@bsd.ee) (Disconnected by services)
2021-03-19 22:11:31 → dh_ joins (dh@bsd.ee)
2021-03-19 22:11:33 → WzC joins (~Frank@77-162-168-71.fixed.kpn.net)
2021-03-19 22:11:34 → jhuizy9 joins (~jhuizy@static.241.188.216.95.clients.your-server.de)
2021-03-19 22:11:38 → concept20 joins (~concept2@unaffiliated/tubo)
2021-03-19 22:11:42 → waskell_ joins (~quassel@d66-183-124-203.bchsia.telus.net)
2021-03-19 22:11:42 → lewky3 joins (~lewky@159.65.37.240)
2021-03-19 22:12:02 → Deide1 joins (~Deide@217.155.19.23)
2021-03-19 22:12:07 × jhuizy quits (~jhuizy@static.241.188.216.95.clients.your-server.de) (Read error: Connection reset by peer)
2021-03-19 22:12:07 × jil`` quits (~user@45.86.162.6) (Read error: Connection reset by peer)
2021-03-19 22:12:07 × WarzoneCommand quits (~Frank@77-162-168-71.fixed.kpn.net) (Read error: Connection reset by peer)
2021-03-19 22:12:07 × ralu quits (~ralu@static.211.245.203.116.clients.your-server.de) (Read error: Connection reset by peer)
2021-03-19 22:12:07 × {abby} quits (~{abby}@unaffiliated/demhydraz) (Write error: Connection reset by peer)
2021-03-19 22:12:07 × concept2 quits (~concept2@unaffiliated/tubo) (Read error: Connection reset by peer)
2021-03-19 22:12:07 × lep-delete quits (~lep@94.31.86.183) (Read error: Connection reset by peer)
2021-03-19 22:12:07 × waskell quits (~quassel@d66-183-124-203.bchsia.telus.net) (Read error: Connection reset by peer)
2021-03-19 22:12:07 → acowley_ joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net)
2021-03-19 22:12:07 × DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2021-03-19 22:12:07 × Ankhers quits (~Ankhers@unaffiliated/ankhers) (Ping timeout: 264 seconds)
2021-03-19 22:12:07 × HiRE quits (~HiRE@104.128.237.40) (Ping timeout: 264 seconds)
2021-03-19 22:12:07 jhuizy9 is now known as jhuizy
2021-03-19 22:12:07 concept20 is now known as concept2
2021-03-19 22:12:08 → sayola1 joins (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de)
2021-03-19 22:12:21 → rprosper- joins (~adam@186.75.232.35.bc.googleusercontent.com)
2021-03-19 22:12:28 → urdh_ joins (~urdh@unaffiliated/urdh)
2021-03-19 22:12:56 × acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 246 seconds)
2021-03-19 22:12:56 × Cathy quits (~Cathy@unaffiliated/cathy) (Ping timeout: 246 seconds)
2021-03-19 22:12:56 × urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 246 seconds)
2021-03-19 22:12:56 → jil``` joins (~user@45.86.162.6)
2021-03-19 22:12:56 × lewky quits (~lewky@159.65.37.240) (Read error: Connection reset by peer)
2021-03-19 22:12:56 × Moyst quits (~moyst@212-149-213-144.bb.dnainternet.fi) (Ping timeout: 246 seconds)
2021-03-19 22:12:56 → DTZUZU_ joins (~DTZUZO@205.ip-149-56-132.net)
2021-03-19 22:12:56 × sayola quits (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Ping timeout: 246 seconds)
2021-03-19 22:12:56 × Deide quits (~Deide@217.155.19.23) (Ping timeout: 246 seconds)
2021-03-19 22:12:56 × rprospero quits (~adam@186.75.232.35.bc.googleusercontent.com) (Ping timeout: 246 seconds)
2021-03-19 22:12:56 × xts quits (~ts@46.101.20.9) (Ping timeout: 246 seconds)
2021-03-19 22:12:56 → xts joins (~ts@46.101.20.9)
2021-03-19 22:12:56 × jonn quits (~sweater@206.81.18.26) (Ping timeout: 246 seconds)
2021-03-19 22:12:56 × madog quits (~madog@163.ip-51-254-203.eu) (Ping timeout: 246 seconds)
2021-03-19 22:12:56 × jneira quits (501e6406@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.6) (Quit: Ping timeout (120 seconds))
2021-03-19 22:12:56 urdh_ is now known as urdh
2021-03-19 22:12:56 lewky3 is now known as lewky
2021-03-19 22:12:58 → madog_ joins (~madog@163.ip-51-254-203.eu)
2021-03-19 22:13:03 → sweater joins (~sweater@206.81.18.26)
2021-03-19 22:13:04 → Ankhers joins (~Ankhers@unaffiliated/ankhers)
2021-03-19 22:13:05 → HiRE joins (~HiRE@104.128.237.40)
2021-03-19 22:13:05 → lep-delete joins (~lep@94.31.86.183)
2021-03-19 22:13:06 × Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-03-19 22:13:06 × pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-03-19 22:13:09 × hrdl quits (~ef24a0e6@unaffiliated/hrdl) (Ping timeout: 264 seconds)
2021-03-19 22:13:18 → Cathy joins (~Cathy@unaffiliated/cathy)
2021-03-19 22:13:23 → hrdl joins (~ef24a0e6@unaffiliated/hrdl)
2021-03-19 22:13:45 × p4trix quits (~p4trix@19.red-83-49-45.dynamicip.rima-tde.net) (Ping timeout: 264 seconds)
←Prev  Next→
Page 1 .. 3919 3920 3921 3922 3923 3924 3925 3926 3927 3928 3929 .. 5022

All times are in UTC.