Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-01-16

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

All times shown according to UTC.

Time Nick Message
16:18 JCaesar declare[[show_types]] seems to cripple my sledgehammer. oO
17:41 JCaesar Correction: Something is crippling it. I do a term map_option, copy the type to find_consts, and get nothing. oO
19:51 spacekitteh joined #isabelle

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