Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-07-24

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

All times shown according to UTC.

Time Nick Message
01:52 ilbot3 joined #isabelle
01:52 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
08:39 chindy I for one, welcome our new google overlords!
09:59 chindy I have this line and in the next i can solve the goal with simp however without this line it requires the calculation induced by also, is there a nicer way of doing the calculation without having this "trivial" line http://downthetypehole.de/paste/VfiZszlZ
12:30 stoopkid_ joined #isabelle
15:33 silver joined #isabelle
17:35 stoopkid_ joined #isabelle
17:51 juanbono joined #isabelle
21:40 stoopkid_ joined #isabelle

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