Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2015-12-26

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

All times shown according to UTC.

Time Nick Message
14:39 tautologico joined #isabelle
16:55 lispy joined #isabelle
21:44 barrucadu Thanks for the explanation, both.

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