Closed Charles-Johnson closed 3 years ago
Encode the transitive property of ordering as let (_y_ exists_such_that) _x_ > _y_ and (_y_ > _z_) => _x_ > _z_. This allows fewer operator precedence relations to be explicitly defined
let (_y_ exists_such_that) _x_ > _y_ and (_y_ > _z_) => _x_ > _z_
Encode the transitive property of ordering as
let (_y_ exists_such_that) _x_ > _y_ and (_y_ > _z_) => _x_ > _z_. This allows fewer operator precedence relations to be explicitly defined