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. > Very well put. I strongly agree. Shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
