On Wed, Jul 9, 2014 at 9:44 PM, Jonathan S. Shapiro <[email protected]> wrote: > If the separate checker terminated, we'd be using it as the primary checker.
The idea is that the separate checker wouldn't need to be standardized or especially well behaved, since only code for the primary checker would be standards-compliant. The inference system would be some optional tool on top for developers to use at their discretion. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
