Re: [bitc-dev] Dependent type grammars

[Raoul Duke]

as somebody else mentioned, ATS is i think interesting, fwiw.
includes some systems programming examples.
http://www.ats-lang.org/htdocs-old/EXAMPLE/example.html
_______________________________________________
bitc-dev mailing list
bitc-dev@coyotos.org
http://www.coyotos.org/mailman/listinfo/bitc-dev