aboutsummaryrefslogtreecommitdiff
path: root/lib/basic.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Replace ugly conversionMarc Coquand2024-05-201-0/+3