Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-02-20

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

All times shown according to UTC.

Time Nick Message
06:18 kini joined #isabelle
14:39 ilbot3 joined #isabelle
14:39 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/
17:11 tpsinnem joined #isabelle
17:17 napping joined #isabelle
19:30 napping I've been using the paper "Defining and using deductive systems with Isabelle", but it seems to be a bit out of date in some things like command names
21:06 napping joined #isabelle
21:07 kini joined #isabelle
21:07 mal`` joined #isabelle
21:32 robinbb joined #isabelle
21:33 wagle joined #isabelle
21:33 napping_ joined #isabelle
21:53 robinbb-freenode joined #isabelle
21:54 wagle_ joined #isabelle
22:00 felipealmeida_ joined #isabelle
22:06 kini joined #isabelle
22:06 mal`` joined #isabelle
22:18 napping Does a leading $ mean anything?
22:19 napping I'm trying to read LK0.thy to see how to use Sequences, and it seems contR is repeating contRS without a $
22:36 mal`` joined #isabelle
22:36 kini joined #isabelle
22:47 mal`` joined #isabelle
22:47 kini joined #isabelle

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