Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-02-11

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

All times shown according to UTC.

Time Nick Message
05:37 tsinnema joined #isabelle
05:42 tsinnema hello. i am writing scala code, some of which needs to be imperative, and i've been looking for tools to help me make it correct, and i just learned about isabelle today
05:44 tsinnema i'm reading the paper "Imperative Functional Programming with Isabelle/HOL" and it mentions code generation to haskell and ML specifically, but unlike some other isabelle documentation, it does not mention scala
05:46 tsinnema should i expect to be able to do the same thing for scala anyhow?
06:22 tsinnema ok i see that "Imperative HOL – a leightweight framework for imperative data structures in Isabelle/HOL" mentions generation to scala
06:22 tsinnema but so far i've found very little documentation on this
15:06 int-e_ joined #isabelle
22:57 int-e joined #isabelle

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