On Wed, Dec 24, 2014 at 12:13 AM, Geoffrey Irving <[email protected]> wrote: > The general case of this would pretty much have to wait for a future > language with fully dependent types.
Dependent types or some other kind of proof support. That's what I figured. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
