Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-08-11

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

All times shown according to UTC.

Time Nick Message
10:19 dmiles_afk joined #isabelle
12:35 mattt_ joined #isabelle
13:10 mattt_ any ideas on how to unify f x and y in the assumptions [|f x = (SOME y. P y); P y|]
13:10 mattt_ ?
22:19 dmiles_afk joined #isabelle
22:21 aloiscochard joined #isabelle
23:00 dmiles joined #isabelle

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