Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-07-25

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

All times shown according to UTC.

Time Nick Message
01:48 dmiles joined #isabelle
07:59 larsrh stoopkid: May I ask if you're doing that as a grad school project/student project/outside academia? Just curious.
08:08 cmr joined #isabelle
08:09 cmr joined #isabelle
09:42 larsrh__ joined #isabelle
10:15 ammbauer joined #isabelle
10:51 silver joined #isabelle
15:19 Damaki joined #isabelle
15:30 stoopkid larsrh, outside academia; maybe i can use this to get into uni somewhere
15:55 stoopkid larsrh, also, i made a channel ##collaborate where i'll be working on it (until i come up with a name), if you're interested
23:36 st0opkid joined #isabelle

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