Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-07-21

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

All times shown according to UTC.

Time Nick Message
01:03 dmiles joined #isabelle
01:31 dmiles joined #isabelle
08:48 silver joined #isabelle
09:01 ammbauer joined #isabelle
10:19 JCaesar I just made http://dpaste.com/1RTP9V5 to be able to sort a list according to two keys. I'm wondering if there isn't a more elegant way to do that…
13:27 Damaki joined #isabelle
14:11 silver_ joined #isabelle
16:56 Damaki joined #isabelle

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