Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-12-19

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

All times shown according to UTC.

Time Nick Message
00:26 dmiles_afk joined #isabelle
12:47 relrod_ joined #isabelle
16:23 bitraten hi, I wanna define a datatype_new without explicit Empty constructor: https://gist.github.com/bitraten/5226607e04d6fd7e45f4
16:24 bitraten The first one is what I want, but unlike the others it gives me a "Cannot define empty datatype" error.
18:28 dmiles_afk joined #isabelle
18:42 dmiles_afk joined #isabelle
19:06 coco_ joined #isabelle

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