On Fri, Oct 29, 2010 at 8:03 AM, Sandro Magi <[email protected]>wrote:
> BitC [h]as kind-level naturals? How did I miss that! Or is this something > that's coming soon? You can verify a lot of interesting properties with > type-level naturals, so that would be pretty nice to have. > > Sandro > > Not yet, but they are coming. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
