Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-04-22

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

All times shown according to UTC.

Time Nick Message
10:09 mekeor joined #isabelle
20:33 Kaki joined #isabelle
20:36 Kaki Hello, I'd like to define a generic function in isabelle of the form "nat => nat => (nat => 'a) => 'a" but in the function will occur things like "'a + 'a". because not all types overload the operator "+" my definition is not accepted by isabelle. How to restrict the type 'a to a numeric typ?
20:36 Kaki type*
20:47 Kaki the coercion error message is: Variable 'a::type not of sort plus
20:57 lispy joined #isabelle

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