propensive / denominative

An experiment in numeric semantics to eradicate off-by-one errors

https://soundness.dev/denominative/

Geek Repo

Github PK Tool