Amusingly, I have made the home page on my PHONE the Felix
web site. Actually, the tutorial comes out quite nicely!
One advantage of a really brain dead XHML layout .. it does
what HTML was always meant to do: adapt to the browser page
size nicely.
I will do some editing to get the pages shorter a
There's two issues with purity (similar to generators):
Is
fold_left
pure? I think it is. However, if it is passed an impure argument function ..
the result isn't.This applies to totality as well. Fold_left is total in itself.
But the application
fold_left f init
is only total
I'm still having a bit of trouble with inherit. The problem was that:
open class List { .. }
open [T with Str[T]] Str[list[T]];
open [T with Eq[T]] Set[list[T],T];
should work as:
open class List {
...
inherit [T with Str[T]] Str[list[T]];
inherit [T with Eq[T]] Set[list[T],T];
}
The diff
