aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* FOL program encoding and decodingMarcos Magueta2026-10-011-0/+2
* session exclusive lifetimeMarcos Magueta2026-09-271-6/+15
* change paths to use \Marcos Magueta2026-09-261-3/+2
* dune fmtMarcos Magueta2026-09-251-16/+20
* Multigroup registration stubEstevan Castilho2026-09-241-1/+4
* `assoc` on associativesEstevan Castilho2026-09-241-16/+25
* Forsake `lookup'`Estevan Castilho2026-09-171-17/+19
* Directory and registry ergonomicsEstevan Castilho2026-09-121-0/+27
* Multigroup objectsEstevan Castilho2026-09-111-0/+17