> Have you used VHDL? Depending on the compiler, VHDL sequential processes can > be compiled to hardware. Also type systems can enforce termination (strong > normalisation), as in simply typed lambda calculus.
do all such features exist in one language yet? _______________________________________________ bitc-dev mailing list bitc-dev@coyotos.org http://www.coyotos.org/mailman/listinfo/bitc-dev
