Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-08-17

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

All times shown according to UTC.

Time Nick Message
01:51 ilbot3 joined #isabelle
01:51 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/
04:47 ilbot3 joined #isabelle
04: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/
04:48 relrod joined #isabelle
04:49 wagle joined #isabelle
04:49 ezyang joined #isabelle
04:50 mal`` joined #isabelle
04:55 renopt joined #isabelle
05:01 JCaesar joined #isabelle
05:49 larsrh joined #isabelle
06:05 int-e joined #isabelle
06:07 pruvisto joined #isabelle
08:03 ilbot3 joined #isabelle
08:03 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:13 stoopkid_ joined #isabelle
11:36 ilbot3 joined #isabelle
11:36 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/
11:58 ilbot3 joined #isabelle
11:58 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/
12:12 pruvisto joined #isabelle
12:51 chindy +
13:40 numee joined #isabelle
14:35 dmiles joined #isabelle
18:47 chuchucorny joined #isabelle
18:55 cmr joined #isabelle
19:03 stoopkid_ joined #isabelle
22:10 tautologico joined #isabelle
23:52 lispy joined #isabelle

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