Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-10-12

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

All times shown according to UTC.

Time Nick Message
17:07 brainopia joined #isabelle
17:09 brainopia https://gist.github.com/bra​inopia/6d4ffdd03e21dd7de4c9 – can somebody help me understand this error message?
17:15 brainopia oh, my bad – I see the reason

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