aboutsummaryrefslogtreecommitdiff
path: root/refined
Commit message (Expand)AuthorAgeFilesLines
* refined: add type Scalarrefinement-types-4Stefan Majewsky2025-07-135-4/+797
* refined: lay out a package doc as a mission statementStefan Majewsky2025-07-033-0/+57