Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-11-30

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

All times shown according to UTC.

Time Nick Message
00:26 JCaesar wow, 6656 parse trees. Time to do something…
02:47 ilbot3 joined #isabelle
02: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/
06:57 ThreeOfEight JCaesar: you are aware of the Sequents thing?
07:14 ThreeOfEight In the distribution, I mean
08:00 JCaesar no, I wasn't… will have a look.
08:35 ThreeOfEight it doesn't use HOL though
10:21 ski_ joined #isabelle
10:23 kyagrd_ joined #isabelle
12:27 silver joined #isabelle
17:13 Lehmi joined #isabelle
17:21 Lehmi left #isabelle
18:21 ThreeOfEight joined #isabelle
22:35 fracting joined #isabelle

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