On Tue, May 15, 2012 at 4:23 PM, Jonathan S. Shapiro <[email protected]> wrote:
> Type systems mainly serve to describe > static conditions rather than dynamic conditions. Are you sure? I confess I don't know much about dependent types but I supposed they were general enough to describe dynamic conditions. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
