Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-10-13

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #isabelle
01:47 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/
07:02 ilbot3 joined #isabelle
07:02 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/
10:09 aindilis2 joined #isabelle
10:09 chuchucorny joined #isabelle
10:09 mal`` joined #isabelle
10:09 mbrcknl joined #isabelle
10:09 relrod joined #isabelle
10:09 ammbauer joined #isabelle
10:09 kini joined #isabelle
10:09 ThreeOfEight joined #isabelle
10:09 kyagrd joined #isabelle
10:09 int-e joined #isabelle
10:09 cmr joined #isabelle
10:09 lispy joined #isabelle
10:09 tokenrov1 joined #isabelle
10:09 dmiles joined #isabelle
10:09 JCaesar joined #isabelle
10:09 larsrh joined #isabelle
10:10 wagle joined #isabelle
10:28 aindilis2 joined #isabelle
10:28 chuchucorny joined #isabelle
10:28 mal`` joined #isabelle
10:28 mbrcknl joined #isabelle
10:28 relrod joined #isabelle
10:28 kini joined #isabelle
10:28 ThreeOfEight joined #isabelle
10:28 kyagrd joined #isabelle
10:28 int-e joined #isabelle
10:28 cmr joined #isabelle
10:28 lispy joined #isabelle
10:28 tokenrov1 joined #isabelle
10:28 dmiles joined #isabelle
10:28 JCaesar joined #isabelle
10:28 larsrh joined #isabelle
10:28 ammbauer joined #isabelle
10:28 wagle joined #isabelle
10:28 ski joined #isabelle
10:30 ChanServ joined #isabelle
10:32 wagle joined #isabelle
10:37 mbrcknl joined #isabelle
11:02 larsrh joined #isabelle
11:20 silver joined #isabelle
12:20 larsrh I accidentally commited an 'oops'ed proof to HOL-Library ... oops
12:20 ammbauer SHAME
12:58 JCaesar http://i.imgur.com/ko0Fb1y.jpg
12:59 JCaesar larsrh: is that a no-go? I've got an oops-proof, just as an example why something can not be proved…
13:00 larsrh JCaesar: no, it's fine
13:00 larsrh In my case it was a leftover :-)
13:01 larsrh the use case to demonstrate that something cannot be proved is completely justified
22:31 silver_ joined #isabelle

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