$0.02 it might be worth (because you have so much copious free time!) having an updated blurb somewhere official online, that says something succinct about:
* the current goals of BitC v2+ (i.e. needed for writing a less unsecure os) * what the constraints are (i.e. we need it yesterday, so you have to decide what is the absolute minimum that should be reached for). * and maybe a few lines about whey the usual suspects aren't sufficient (rust, ada, ats, acl2, etc.) [which 1-or-more of those was a joke i put in, do you think?] :-} _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
