search

ursalang / ursa

A friendly, stable general-purpose programming language
https://ursalang.github.io
3 stars 1 forks source link

Rename `length` to `len` #26

Closed rrthomas closed 10 months ago

rrthomas commented 10 months ago

We seem to be using short forms of common names.