On 7 Apr 2015 00:56, "Jonathan S. Shapiro" <[email protected]> wrote: > > On Monday, April 6, 2015, Pal Engstad <[email protected]> wrote: >> >> For BitC, I believe that one needs keen dogmatic and practical guidelines in order to progress. We can't solve all mathematical, philosophical and type-theoretic problems on this mailing list. Instead we should focus on sensible and well-defined sub-problems, and solve those as we go.
I got more responses about my use of the term "type" for type - level - objects (and wanting to stratify types), than I did about an actual working implementation of type inference for arity-aware typing :-) Keean.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
