Camelia, the Perl 6 bug

IRC log for #darcs-theory, 2008-12-04

| Channels | #darcs-theory index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
03:41 semka joined #darcs-theory
05:06 semka joined #darcs-theory
06:46 semka joined #darcs-theory
09:10 kowey joined #darcs-theory
09:42 kowey joined #darcs-theory
11:34 mornfall_ joined #darcs-theory
11:41 mornfall1 joined #darcs-theory
12:12 semka hi there
12:13 kowey hi! interested in learning some patch theory?
12:13 semka can i get tex source of artice "Theory of Patches"? I think i can translate it to russian.
12:13 kowey or hacking some of it?
12:13 semka kowey: (:
12:13 kowey hmm... so the Theory of Patches appendix is a bit out of date
12:14 kowey maybe you could interest Igloo in a Russian translation of his camp paper?
12:14 semka kowey: hmm. thanks!
12:14 Igloo I think translation would be a bit premature, as large parts of it ought to be rewritten
12:15 semka ok
12:15 kowey semka: there is also the wikibook which gives a much slower introduction to patch theory
12:15 kowey and only covers the very very basics
12:15 kowey semka: see http://en.wikibooks.org/wiki/Understanding_darcs
14:48 semka joined #darcs-theory
17:38 semka joined #darcs-theory
17:57 arjanb joined #darcs-theory
18:32 int-e joined #darcs-theory
18:58 int-e Igloo: I'm wondering about Axiom 4.2 (unnamed-patch-commute-preserves-commute) in the Camp theory draft paper: isn't there an implicit assumption that q and q', and r and r' are "morally equivalent"? The scenario I have in mind is where q r and q' r' have the same net effect, and p is a completely unrelated patch. Am I missing anything?
19:01 int-e another thing I've noticed so far is that there's no axiom saying that (p^-1)^-1 = p.

| Channels | #darcs-theory index | Today | | Search | Google Search | Plain-Text | summary