Camelia, the Perl 6 bug

IRC log for #darcs-theory, 2009-04-18

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

All times shown according to UTC.

Time Nick Message
06:23 gal_bolle joined #darcs-theory
08:15 tux_rocker joined #darcs-theory
08:27 kowey joined #darcs-theory
09:58 arjanb joined #darcs-theory
13:23 kowey joined #darcs-theory
14:36 gal_bolle joined #darcs-theory
18:26 gal_bolle igloo: destruct (IHn _ _ _ _ _ _ NilFL q tail
18:26 gal_bolle (tail_to_start+>tail_to_tail1) q'' tail2 HLq Hq_moves).
18:26 gal_bolle as [? [startq_to_startq [startq_to_tailq [tailq_to_startq
18:26 gal_bolle [tailq_to_tailq [Hnil [Htail_shuffle [? [q''
18:26 gal_bolle [startq_to_tailq' [Hq_stt [sttq'' [ttsq' [H42 [ttsq''
18:26 gal_bolle [Hcps_tts_q [H69 [Htail2]]]]]]]]]]]]]]]]]].
18:26 gal_bolle and it is case 1/8, as far as I can tell
18:26 * gal_bolle will be happy _after_ his current lemma
18:28 gal_bolle actually, there's an interrogation mark missing
18:42 gal_bolle left #darcs-theory

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