Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-06-09

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

All times shown according to UTC.

Time Nick Message
12:29 Guest____ joined #isabelle
14:55 Gues_____ joined #isabelle
17:18 juampo joined #isabelle
17:21 juampi joined #isabelle
17:22 juampi_ joined #isabelle
17:32 juampo Hi
17:34 juampo Is this the correct place to ask a question about functional programming on isabelle?
17:34 juampo It's only because I have a little doubt
17:35 juampo and I don't know where should I ask it
17:35 juampo sorry for my bad English
17:37 juampo I'm just trying to program an easy function on Isabelle. I've done it in haskell and I don't know how to do it correctly on Isabelle
17:57 Gues_____ joined #isabelle

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