From igloo at earth.li Wed Apr 1 14:18:26 2009 From: igloo at earth.li (Ian Lynagh) Date: Wed, 1 Apr 2009 19:18:26 +0100 Subject: camp coq update Message-ID: <20090401181826.GA11598@matrix.chaos.earth.li> Hi all, Camp coq update: Florent Becker and I are converging on the way to structure coq proofs, the datatypes, etc. I've also interleaved the coq definitions, proofs etc with the LaTeX paper, in darcs get http://code.haskell.org/camp/devel/paper/ The .v files are understood directly by coq, while running "make" turns them into .tex file that latex understands, with the coq displayed in green boxes. Many of the easier proofs, lifting {axioms on unnamed patches} into {lemmas on named patches}, are done. Starting on the more meaty proofs, I'm currently stuck on the "Foo" sub-lemma, heading towards Lemma 10.1 (commute-in-sequence-consistent). I think it should be quite easy once I work out the trick. Thanks Ian From camp at projects.haskell.org Tue Apr 7 00:46:46 2009 From: camp at projects.haskell.org (camp) Date: Tue, 07 Apr 2009 04:46:46 -0000 Subject: [camp] #13: amend-record should handle manual reverts correctly In-Reply-To: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> References: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> Message-ID: <059.f3a995ad7fba97b977626067da56de4c@projects.haskell.org> #13: amend-record should handle manual reverts correctly --------------------+------------------------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: minor | Milestone: Component: camp | Version: Resolution: | Keywords: MESSAGE --------------------+------------------------------------------------------- Changes (by Maxoderm): * cc: Atlanta (added) * keywords: => MESSAGE Comment: how're you doing guys? Instant Male Enhancement With: Maxoderm http://www.hairmaxforum.com/forum/member.php?u=17451&maxoderm Maxoderm The Best Male Enhancement Product Today! -- Ticket URL: camp Camp (Commute And Merge Patches) From camp at projects.haskell.org Tue Apr 7 06:03:59 2009 From: camp at projects.haskell.org (camp) Date: Tue, 07 Apr 2009 10:03:59 -0000 Subject: [camp] #13: amend-record should handle manual reverts correctly In-Reply-To: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> References: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> Message-ID: <059.d215e50c609499807a4073ade9e445bd@projects.haskell.org> #13: amend-record should handle manual reverts correctly --------------------+------------------------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: minor | Milestone: Component: camp | Version: Resolution: | Keywords: MESSAGE --------------------+------------------------------------------------------- Comment (by Maxoderm): Hi, Instant Male Enhancement With: Maxoderm http://www.hairmaxforum.com/forum/member.php?u=17451&maxoderm Maxoderm The Best Male Enhancement Product Today! -- Ticket URL: camp Camp (Commute And Merge Patches) From dcarrera at gmail.com Sat Apr 18 10:43:57 2009 From: dcarrera at gmail.com (Daniel Carrera) Date: Sat, 18 Apr 2009 16:43:57 +0200 Subject: Camp notation Message-ID: <49E9E72D.3090503@theingots.org> Hi Everyone. I'm a new list member. If you are attending Hac5 then you have already met me. Yesterday Mannix demonstrated a new notation for patch theory that has several improvements. I wanted to follow that up with some very slight alterations that I think will improve clarity and will be more ASCII-friendly. 1) The first one I already discussed with Mannix and Ian, but I include it for the benefit of other list members: Mannix proposed an operator for moving a patch over another. I propose using the "/" opertor. So that "P/Q" is read "P over Q" and is the action of moving patch P over patch Q: P +-------------> | Q | | V +-------------> P/Q 2) This one is new: I propose using ">" to denote patch composition. So that "X > Y" is read as "X then Y". The ">" is intended to look like an arrow, so it indicates direction. 3) Mannix proposed using "-P" to denote the inverse of patch P. On top of that, I propose using the number "0 to denote the empty patch. This leads to nice syntax for several properties: A) Basic properties: P > 0 = 0 > P = 0 P > -P = 0 -(X > Y) = -Y > -X "anti-distributive" property. This looks similar to the traditional use of ">" in algebra, where if X > Y then -Y > -X. B) "Quasi-associative" property: R / (X > Y) = (R / X) / Y X +------------->+ | | R | | Y | | V V C) Merging: P > Q/P = Q > P/Q P +------------->+ | | Q | | Q/P | | V V +------------->+ P/Q Cheers, Daniel. From camp at projects.haskell.org Tue Apr 21 06:47:00 2009 From: camp at projects.haskell.org (camp) Date: Tue, 21 Apr 2009 10:47:00 -0000 Subject: [camp] #13: amend-record should handle manual reverts correctly In-Reply-To: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> References: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> Message-ID: <059.255253ea77dcb1400100cd504f0b18e5@projects.haskell.org> #13: amend-record should handle manual reverts correctly --------------------+------------------------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: minor | Milestone: Component: camp | Version: Resolution: | Keywords: MESSAGE --------------------+------------------------------------------------------- Changes (by Buy hgh): * cc: NY (added) * keywords: => MESSAGE Comment: What's up people I want to offer some information about GenF20 HGH, the best human growth hormone today: Buy Hgh you can look young again with GenF20 http://airsoftgunhelp.com/airsoft/member.php?u=23525&buy_hgh http://airsoftgunhelp.com/airsoft/member.php?u=23525&buy_hgh - Buy Hgh and by the way, I really like your site:) -- Ticket URL: camp Camp (Commute And Merge Patches) From camp at projects.haskell.org Thu Apr 23 09:42:13 2009 From: camp at projects.haskell.org (camp) Date: Thu, 23 Apr 2009 13:42:13 -0000 Subject: [camp] #13: amend-record should handle manual reverts correctly In-Reply-To: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> References: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> Message-ID: <059.e5f1344e5c1a209945bbabf82aafd980@projects.haskell.org> #13: amend-record should handle manual reverts correctly --------------------+------------------------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: minor | Milestone: Component: camp | Version: Resolution: | Keywords: MESSAGE --------------------+------------------------------------------------------- Changes (by Buy Ambien): * cc: Geneva (added) * keywords: => MESSAGE Comment: comment5, http://airsoftgunhelp.com/airsoft/member.php?u=27503 - Buy Ambien, helvaa, Buy Ambien, jc648l6, http://airsoftgunhelp.com/airsoft/member.php?u=27503 Buy Ambien, zvfa, http://www.ambienusers.com - Buy Ambien, wjlm, Buy Ambien, fegd, http://www.ambienusers.com Buy Ambien, k7f7gyy -- Ticket URL: camp Camp (Commute And Merge Patches) From camp at projects.haskell.org Sat Apr 25 23:16:02 2009 From: camp at projects.haskell.org (camp) Date: Sun, 26 Apr 2009 03:16:02 -0000 Subject: [camp] #13: amend-record should handle manual reverts correctly In-Reply-To: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> References: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> Message-ID: <059.f1ec6787958faeefdd874675b5d285c2@projects.haskell.org> #13: amend-record should handle manual reverts correctly --------------------+------------------------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: minor | Milestone: Component: camp | Version: Resolution: | Keywords: MESSAGE --------------------+------------------------------------------------------- Changes (by Shensossy): * cc: Yako (added) * keywords: => MESSAGE Comment: http://demya.com/images/seo- blocks.gif SEO Website - VerifiedFile.com Check "VerifiedFile.com" SEO Rankings for Major Keywords http://www.verifiedfile.com/images/seo.gif Google - Traffic Promotion Google - Marketing Promotion Google - Online Marketing Google - Search Engine Optimization Promote Your Website, Products & Services on Targeted Forums We can post your promotional message on millions of targeted forums, blogs and message boards worldwide. No, this isn't spam email. It's penetrating online established communities relative to your website, product or services. Not only does this increase SEO & Web Traffic, but by targeting forums relative to your online activity, you are able to increase potential sales. Your post will appear to have been published by a genuine unique user. How Do We Do It ? We have special custom made software that is able to register, vaildate registration and successfully post your message on all forums, blogs and message boards. Your able to post pictures, text, and back links. Note: You define the TITLE, POST, & ANCHOR TEXT which can include url back links to your website. This post was published by our automated software. Spam laws are only relative to email which makes everything we do 100% legal http://verifiedfile.com/images/google.gif http://demya.com/images/seo.gif Watch Online Video Demonstration http://www.youtube.com/watch?v=EIK55ay0YEM http://www.youtube.com/watch?v=WJSqdIMFxrk Why Use Our Services? http://verifiedfile.com/images/sportsbook.gif Improve SEO & Search Engine Rankings, Gain Alexa Ratings, Increase Organic Web Traffic, Brand Your Domain, Products, & Services, Improve Sales, etc. Feel free to contact us directly via ICQ: 162456288 and/or visit VerifiedFile.com SEO Website --> Click Here to reqest a SEO Price Quota Example of How Easy it is To Post Back Links SEO & Gifting & Gifting Services & Adult Dating & Web Promotion & Bit Torrent & Proxy & Internet Marketing & Arcade Games & Accident Attorney & Web Traffic & MP3 & MP3 Music & Mp3 Search & HookUp & Alarm Clocks & Internet Promotion & Travel Clocks & Website Promotion http://client.alexa.com/common/images/logotrafficRankings.gif -- Ticket URL: camp Camp (Commute And Merge Patches) From camp at projects.haskell.org Sun Apr 26 21:42:16 2009 From: camp at projects.haskell.org (camp) Date: Mon, 27 Apr 2009 01:42:16 -0000 Subject: [camp] #13: amend-record should handle manual reverts correctly In-Reply-To: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> References: <050.0096d5637c429de4a9a62b0315aaed4e@projects.haskell.org> Message-ID: <059.036a9ec017edeb6d6d0d8379fab36639@projects.haskell.org> #13: amend-record should handle manual reverts correctly --------------------+------------------------------------------------------- Reporter: igloo | Owner: Type: task | Status: new Priority: minor | Milestone: Component: camp | Version: Resolution: | Keywords: MESSAGE --------------------+------------------------------------------------------- Changes (by Shensossy): * cc: Yako (added) * keywords: => MESSAGE Comment: http://demya.com/images/seo- blocks.gif SEO Website - VerifiedFile.com Check "VerifiedFile.com" SEO Rankings for Major Keywords http://www.verifiedfile.com/images/seo.gif Google - Traffic Promotion Google - Marketing Promotion Google - Online Marketing Google - Search Engine Optimization Promote Your Website, Products & Services on Targeted Forums We can post your promotional message on millions of targeted forums, blogs and message boards worldwide. No, this isn't spam email. It's penetrating online established communities relative to your website, product or services. Not only does this increase SEO & Web Traffic, but by targeting forums relative to your online activity, you are able to increase potential sales. Your post will appear to have been published by a genuine unique user. How Do We Do It ? We have special custom made software that is able to register, vaildate registration and successfully post your message on all forums, blogs and message boards. Your able to post pictures, text, and back links. Note: You define the TITLE, POST, & ANCHOR TEXT which can include url back links to your website. This post was published by our automated software. Spam laws are only relative to email which makes everything we do 100% legal http://verifiedfile.com/images/google.gif http://demya.com/images/seo.gif Watch Online Video Demonstration http://www.youtube.com/watch?v=EIK55ay0YEM http://www.youtube.com/watch?v=WJSqdIMFxrk Why Use Our Services? http://verifiedfile.com/images/sportsbook.gif Improve SEO & Search Engine Rankings, Gain Alexa Ratings, Increase Organic Web Traffic, Brand Your Domain, Products, & Services, Improve Sales, etc. Feel free to contact us directly via ICQ: 162456288 and/or visit VerifiedFile.com SEO Website --> Click Here to reqest a SEO Price Quota Example of How Easy it is To Post Back Links SEO & Gifting & Gifting Services & Adult Dating & Web Promotion & Bit Torrent & Proxy & Internet Marketing & Arcade Games & Accident Attorney & Web Traffic & MP3 & MP3 Music & Mp3 Search & HookUp & Alarm Clocks & Internet Promotion & Travel Clocks & Website Promotion http://client.alexa.com/common/images/logotrafficRankings.gif -- Ticket URL: camp Camp (Commute And Merge Patches)