Camelia, the Perl 6 bug

IRC log for #darcs, 2013-01-10

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

All times shown according to UTC.

Time Nick Message
00:29 schlaftier joined #darcs
00:29 * owst just found http://en.wikibooks.org/wiki/Talk​:Understanding_Darcs/Patch_theory
00:30 owst I like "it would be wiser to change the Darcs code to fit an elegant, strict, carefully constructed theory, instead of trying to formalize and prove properties of such a complex and changing system as the current Darcs"
00:30 owst but wonder whether it's possible :-)
01:33 mizu_no_oto joined #darcs
02:06 Igloo Well, that's what camp tries to do  :-)
02:06 Igloo to some extent, anyway
02:17 owst In other words "build it (provably) right, rather than hack it, and check it does what you want"
02:22 intripoon_ joined #darcs
02:46 mizu_no_oto joined #darcs
03:39 mizu_no_oto joined #darcs
05:20 carter joined #darcs
05:26 jochu joined #darcs
05:57 bsrk joined #darcs
07:18 bsrk joined #darcs
07:47 bsrk joined #darcs
08:12 bsrk joined #darcs
08:57 schlaftier joined #darcs
09:28 donri joined #darcs
11:08 lispy joined #darcs
11:24 owst joined #darcs
12:38 markstos joined #darcs
13:17 mizu_no_oto joined #darcs
14:10 mizu_no_oto joined #darcs
14:55 favonia joined #darcs
15:01 raichoo joined #darcs
15:13 mizu_no_oto joined #darcs
15:31 gbeshers joined #darcs
15:58 mekeor joined #darcs
16:14 gh___ joined #darcs
16:53 owst j
17:09 gh___ k
17:29 mizu_no_oto joined #darcs
18:03 _ilbot joined #darcs
18:03 Topic for #darcs is now can't talk? see -> | http://wiki.darcs.net/IRC | http://darcs.net/ | darcs 2.8 is out http://wiki.darcs.net/Releases/2.8
18:09 preflex joined #darcs
18:17 favonia joined #darcs
18:17 sm__ joined #darcs
18:36 carter_ joined #darcs
19:35 mizu_no_oto joined #darcs
19:59 sm__ joined #darcs
20:03 amgarchIn9 joined #darcs
20:25 sm__ joined #darcs
20:48 jochu joined #darcs
21:15 schlaftier joined #darcs
21:36 mizu_no_oto joined #darcs
22:24 preflex joined #darcs
23:20 carter joined #darcs
23:59 mizu_no_oto joined #darcs

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