📚 The CoCalc Library - books, templates and other resources
cocalc-examples / martinthoma-latex-examples / documents / Programmierparadigmen / scripts / x10 / constrained-type-example.x10
132937 viewsLicense: OTHER
Int{self > 0}
def dotProduct(x:Vec, y:Vec) {x.len == y.len}