Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-06-27

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

All times shown according to UTC.

Time Nick Message
02:18 tautologico joined #isabelle
05:52 ThreeOfE1ght JCaesar: post it on the mailing list
05:52 ThreeOfE1ght could be a misbehaving simproc
07:16 JCaesar It's not like I have a "minimal example", though…
07:17 ThreeOfE1ght Well you can attempt to minimise it a little bit mur
07:17 ThreeOfE1ght *more
07:17 ThreeOfE1ght i.e. see if the problem still happens with a smaller goal
07:17 ThreeOfE1ght pull up the lemma and associated definitions as far as you can
07:17 ThreeOfE1ght to get an example with fewer dependencies
07:18 ThreeOfE1ght and then you should post it to the mailing list no matter how big it is
09:20 silver joined #isabelle
10:12 fracting joined #isabelle

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