Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2015-10-23

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

All times shown according to UTC.

Time Nick Message
09:27 matthewhill joined #isabelle
09:28 matthewhill joined #isabelle
18:59 cj_howe joined #isabelle
19:00 cj_howe hi, does anyone know why i keep getting a malformed syntax error on this line in the tutorial: datatype ’a tree = Leaf | Node ’a  "’a tree"  "’a tree"
19:00 cj_howe this is the tutorial i was following https://hal.inria.fr/hal-01208577v2/document
20:31 dmiles_afk joined #isabelle
20:45 cj_howe_ joined #isabelle
20:58 cj_howe joined #isabelle
21:46 cj_howe joined #isabelle
22:53 cj_howe joined #isabelle
23:27 cj_howe joined #isabelle

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