Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-02-29

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

All times shown according to UTC.

Time Nick Message
12:14 bcw joined #isabelle
12:35 bcw i'm able to build HOL, so I assume all the theorems about Transcendental.exp are being verified, but every time I try to actually use it (e.g. value "exp 2.1") I get a "Wellsortedness error ... Type nat not of sort enum".  is something wrong, or can exp not actually be used to calculate anything?

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