Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-08-28

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

All times shown according to UTC.

Time Nick Message
02:57 gienah joined #isabelle
07:02 wagle joined #isabelle
15:34 gordolinux joined #isabelle
15:38 gordolinux why is True_def defined as (λx :: bool. x) = (λx. x)  and not (λx :: bool. x) = (λx::bool. x) ?

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