GitHub repository: propensive/cardinality
Primary language: Scala
Created: 2022-07-23T18:12:03Z
Description: Dependently-typed range-checked numbers