Comment Comment by rujuladanh What math-backed theories? Why do they matter? Do you mean for the compiler team or for the users? parent rujuladanh 7 years ago