Hi :) !,
Gmail is really a shit to writing mail, I can't copy links ...:
www.cl.cam.ac.uk/research/srg/netos/papers/2005-hotos-vmm.pdf
I know Mercury but somebody told me that it was too heavy at his taste ...
There is www.e-pig.org ( dependent types for Haskell but it lacks dependent
I/O at the current time )
Best Regards,
G.A.T. Guns
www.defcon.org ... The *Hackers* Convention ;) !
_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd
