Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-12-07

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

All times shown according to UTC.

Time Nick Message
08:04 lispy joined #isabelle
08:11 dmiles joined #isabelle
09:57 aindilis2 joined #isabelle
10:30 silver joined #isabelle
11:56 mal`` joined #isabelle
14:28 chindy joined #isabelle
14:48 ammbauer joined #isabelle
14:58 chindy can someone explain why this has incompatible types http://pastebin.com/sDTS9UZy
15:11 chindy nvm got it
15:59 kini joined #isabelle
18:09 logicmoo joined #isabelle

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