Update triangles.ml