Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2015-04-20

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

All times shown according to UTC.

Time Nick Message
03:27 napping joined #isabelle
03:27 napping Hello
03:27 napping Not so busy now?
03:28 napping Is mehta and nipkow's Schorr-Waite proof available as a usable file anywhere?

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