Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-10-24

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

All times shown according to UTC.

Time Nick Message
00:50 chuchuco1ny joined #isabelle
00:52 ski_ joined #isabelle
01:05 wagle_ joined #isabelle
01:33 int-e joined #isabelle
01:37 cmr joined #isabelle
01:37 cmr joined #isabelle
01:37 lispy joined #isabelle
01:39 tokenrove joined #isabelle
01:48 ilbot3 joined #isabelle
01:48 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:42 dmiles joined #isabelle
10:55 silver joined #isabelle
12:46 int-e is there a trick to get [[show_types]] produce types for type constructors (and other polymorphic constants, ideally) as well?
12:51 ammbauer joined #isabelle
12:52 ThreeOfEight int-e: not to my knowledge, I'm afraid
13:07 int-e err, I meant data constructors
13:07 int-e (and I found the culprit in the meantime... but I'm certain that it will come up again)
15:45 cmr joined #isabelle
15:45 cmr joined #isabelle
23:43 ski joined #isabelle
23:46 ilbot3 joined #isabelle
23:46 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/

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