Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-07-30

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

All times shown according to UTC.

Time Nick Message
00:10 stoopkid joined #isabelle
00:21 st0opkid joined #isabelle
00:44 stoopkid joined #isabelle
01:04 st0opkid joined #isabelle
01:07 st0opkid joined #isabelle
01:10 st0opkid joined #isabelle
01:13 st0opkid joined #isabelle
01:15 st0opkid joined #isabelle
01:18 st0opkid joined #isabelle
09:47 silver joined #isabelle
12:26 st0opkid joined #isabelle
17:17 stoopkid joined #isabelle
20:10 ammbauer why is this empty? https://www.isa-afp.org/browser_info/current/AFP/IP_Addresses/session_graph.pdf
20:56 silver joined #isabelle

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