Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2014-03-03

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

All times shown according to UTC.

Time Nick Message
00:18 mizu_no_oto joined #darcs
01:04 favonia joined #darcs
01:51 stepkut joined #darcs
02:59 mizu_no_oto joined #darcs
03:21 colDrMcBeardman joined #darcs
03:31 tnzk hi
03:31 tnzk what is the recommended way to understand what the latest patch theory is?
03:31 tnzk I have read something on wikibooks but it looks unfinished.
03:32 tnzk and the darcs website says the one based on patches and context is duplicated, the latest one consists of on category theory.
03:32 tnzk is "Categorical Theory of Patches", 2013 reasonable way? or anything better for introduction?
04:49 mizu_no_oto joined #darcs
04:59 favonia joined #darcs
06:39 amgarching joined #darcs
07:04 lelit joined #darcs
07:30 stepkut joined #darcs
08:02 raichoo joined #darcs
08:17 amgarching joined #darcs
08:20 raichoo joined #darcs
13:07 Heffalump tnzk: there's no clear reference, sorry. I think the wikibook is a decent introduction, but there's no agreed/standard formalism. I don't think the "Categorical theory of patches" paper is directly relevant.
13:35 mizu_no_oto joined #darcs
13:40 nomeata joined #darcs
14:46 mizu_no_oto joined #darcs
15:35 edwardk joined #darcs
15:50 mizu_no_oto joined #darcs
16:11 raichoo joined #darcs
16:21 gh__ joined #darcs
16:25 amgarching joined #darcs
16:25 mizu_no_oto joined #darcs
16:48 lelit joined #darcs
17:07 gh__ hi
18:07 n-dolio joined #darcs
18:34 amgarching joined #darcs
18:45 edwardk joined #darcs
18:59 mizu_no_oto joined #darcs
19:43 amgarching joined #darcs
19:55 gh__ joined #darcs
20:39 markstos joined #darcs
20:48 amgarching joined #darcs
21:24 colDrMcBeardman joined #darcs
21:30 mizu_no_oto joined #darcs
22:12 favonia joined #darcs
22:15 amgarching joined #darcs
22:29 edwardk joined #darcs
23:02 amgarching joined #darcs
23:23 markstos joined #darcs
23:54 whaletechno joined #darcs
23:58 amgarching joined #darcs

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