On Sat, 26 Aug 2006 16:32:26 +0200 William DUCK <[EMAIL PROTECTED]>
babbled:
> Hello Misters,
>
> As you are GUI experts, I am
> asking your help.
>
> I am attempting to build up a team.
>
> I believe it's time for a full-fledge verified OS.
>
> The graphic part is essential nowadays.
>
>
Hello Misters,
As you are GUI experts, I am
asking your help.
I am attempting to build up a team.
I believe it's time for a full-fledge verified OS.
The graphic part is essential nowadays.
If somebody is interested in functional programming and in formal methods to
help to implement a tru
