Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2015-11-20

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

All times shown according to UTC.

Time Nick Message
04:57 dmiles_afk joined #isabelle
07:15 ThreeOfEight barrucadu: is your question still open?
07:16 ThreeOfEight if it is: you can do something like ‘obtain a b where "x = (a, b)" by (cases x) simp_all’

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