Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4702 4703 4704 4705 4706 4707 4708 4709 4710 4711 4712 .. 5022
— 502,152 events total
2021-05-02 17:22:49 <monochrom> So now you assume P(x) and prove P(Succ x).
2021-05-02 17:23:07 <monochrom> There is basically no other way to prove statements of the form "if foo then bar".
2021-05-02 17:23:24 <monochrom> It's almost the definition of "⇒".
2021-05-02 17:23:26 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-05-02 17:25:21 → cfricke joins (~cfricke@unaffiliated/cfricke)
2021-05-02 17:27:28 × v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection)
2021-05-02 17:28:08 → jgt joins (~jgt@85.105.142.226)
2021-05-02 17:28:15 <asicia> thanks for your explanations monochrom, i will try to search for some resources to get a better understanding on how these proofs are done
2021-05-02 17:29:59 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2021-05-02 17:31:23 → OscarZ_ joins (~oscarz@95.175.104.49)
2021-05-02 17:34:31 × OscarZ quits (~oscarz@95.175.104.49) (Ping timeout: 252 seconds)
2021-05-02 17:39:35 × jgt quits (~jgt@85.105.142.226) (Ping timeout: 265 seconds)
2021-05-02 17:41:44 hackage css-selectors 0.4.0.1 - Parsing, rendering and manipulating css selectors in Haskell. https://hackage.haskell.org/package/css-selectors-0.4.0.1 (wvanonsem90)
2021-05-02 17:43:10 → cfricke joins (cfricke@gateway/vpn/mullvad/cfricke)
2021-05-02 17:43:11 → cub3s_ joins (bifunc2@gateway/vpn/protonvpn/bifunc2)
2021-05-02 17:44:31 → v01d4lph4 joins (~v01d4lph4@171.48.62.25)
2021-05-02 17:47:34 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-dhvnxehouwypqigq) (Quit: Connection closed for inactivity)
2021-05-02 17:49:23 <cub3s_> If I upload package to Hackage, how long roughly until I can see it on "haskell-updates" branch of nixpkgs?
2021-05-02 17:49:24 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 17:50:06 × stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-05-02 17:50:14 hackage streamly-archive 0.0.2 - Stream data from archives using the streamly library. https://hackage.haskell.org/package/streamly-archive-0.0.2 (shlok)
2021-05-02 17:53:57 → malumore joins (~malumore@151.62.120.164)
2021-05-02 17:54:13 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-05-02 17:54:31 × usr25 quits (~usr25@unaffiliated/usr25) (Read error: Connection reset by peer)
2021-05-02 17:55:36 → Pickchea joins (~private@unaffiliated/pickchea)
2021-05-02 17:55:44 → dpl joins (~dpl@77-121-78-163.chn.volia.net)
2021-05-02 17:59:46 × nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 18:01:44 → usr25 joins (~usr25@unaffiliated/usr25)
2021-05-02 18:02:40 → stree joins (~stree@68.36.8.116)
2021-05-02 18:04:22 → OscarZ- joins (~oscarz@95.175.104.49)
2021-05-02 18:06:48 → erisco joins (~erisco@d24-57-249-233.home.cgocable.net)
2021-05-02 18:07:31 × OscarZ_ quits (~oscarz@95.175.104.49) (Ping timeout: 252 seconds)
2021-05-02 18:08:27 → jgt joins (~jgt@85.105.142.226)
2021-05-02 18:14:52 × nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds)
2021-05-02 18:17:52 × rajivr quits (uid269651@gateway/web/irccloud.com/x-vnfvmgncpsykoslu) (Quit: Connection closed for inactivity)
2021-05-02 18:17:58 × jgt quits (~jgt@85.105.142.226) (Ping timeout: 252 seconds)
2021-05-02 18:19:03 → nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-05-02 18:20:45 × heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-02 18:22:11 × Guest74289 quits (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-05-02 18:22:18 × cfricke quits (cfricke@gateway/vpn/mullvad/cfricke) (Ping timeout: 260 seconds)
2021-05-02 18:22:38 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2021-05-02 18:23:45 → ddellacosta joins (~ddellacos@86.106.143.83)
2021-05-02 18:24:14 hackage streamly-lmdb 0.2.1 - Stream data to or from LMDB databases using the streamly library. https://hackage.haskell.org/package/streamly-lmdb-0.2.1 (shlok)
2021-05-02 18:25:06 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds)
2021-05-02 18:27:50 × ddellacosta quits (~ddellacos@86.106.143.83) (Ping timeout: 246 seconds)
2021-05-02 18:27:58 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-05-02 18:28:19 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 260 seconds)
2021-05-02 18:28:32 × bind2 quits (~bind@md-dingen.tilaa.cloud) (Ping timeout: 246 seconds)
2021-05-02 18:29:19 → bind2 joins (~bind@unaffiliated/bind)
2021-05-02 18:29:49 → johnw joins (~johnw@haskell/developer/johnw)
2021-05-02 18:31:33 × v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection)
2021-05-02 18:32:53 → coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-02 18:33:29 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2021-05-02 18:34:52 × stagn8 quits (~a@78-222-29-85.dyn.estpak.ee) (Quit: Leaving)
2021-05-02 18:35:11 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 246 seconds)
2021-05-02 18:36:10 → chisui joins (59f77cab@i59F77CAB.versanet.de)
2021-05-02 18:36:21 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-05-02 18:38:18 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-05-02 18:38:34 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-02 18:39:25 → v01d4lph4 joins (~v01d4lph4@171.48.62.25)
2021-05-02 18:45:38 × proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 260 seconds)
2021-05-02 18:46:17 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 18:48:31 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-05-02 18:48:32 × asicia quits (~asdfasdfa@86.100.110.212) (Quit: Lost terminal)
2021-05-02 18:49:11 → jgt joins (~jgt@85.105.142.226)
2021-05-02 18:49:48 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-05-02 18:50:41 → ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-02 18:52:16 → heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-02 18:54:15 → pera joins (~pera@unaffiliated/pera)
2021-05-02 18:55:16 × ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-02 18:56:25 → waleee-cl joins (uid373333@gateway/web/irccloud.com/x-ifoosmlkxlhftawc)
2021-05-02 18:56:51 → hololeap joins (hololeap@gateway/vpn/protonvpn/hololeap)
2021-05-02 18:57:01 × mav1 quits (~mav@ip-88-152-11-191.hsi03.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-05-02 18:57:38 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-05-02 18:57:46 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-05-02 19:00:00 × amx quits (amx@percival.namespace.at) (Quit: WeeChat 2.8)
2021-05-02 19:02:40 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 268 seconds)
2021-05-02 19:06:53 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-02 19:07:58 → machinedgod joins (~machinedg@24.105.81.50)
2021-05-02 19:09:25 × cub3s_ quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving)
2021-05-02 19:09:34 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-02 19:09:59 → Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net)
2021-05-02 19:11:32 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-05-02 19:12:25 → nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51)
2021-05-02 19:14:46 × ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-05-02 19:16:06 × joncol quits (~jco@c83-248-173-38.bredband.comhem.se) (Ping timeout: 240 seconds)
2021-05-02 19:17:39 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-05-02 19:18:40 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-05-02 19:19:29 → ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-02 19:19:46 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-05-02 19:24:15 × ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-05-02 19:29:01 × ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 260 seconds)
2021-05-02 19:30:01 → ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 19:30:26 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 19:30:40 × mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Quit: leaving)
2021-05-02 19:32:55 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-02 19:34:12 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-05-02 19:34:27 × hc quits (~hc@fsfe/hc) (Remote host closed the connection)
2021-05-02 19:35:51 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-05-02 19:37:17 → mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan)
←Prev  Next→
Page 1 .. 4702 4703 4704 4705 4706 4707 4708 4709 4710 4711 4712 .. 5022

All times are in UTC.