aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-10-01FOL program encoding and decodingMarcos Magueta1-0/+2
2026-09-27session exclusive lifetimeMarcos Magueta1-6/+15
2026-09-26change paths to use \Marcos Magueta1-3/+2
2026-09-25dune fmtMarcos Magueta1-16/+20
2026-09-24Multigroup registration stubEstevan Castilho1-1/+4
2026-09-24`assoc` on associativesEstevan Castilho1-16/+25
2026-09-17Forsake `lookup'`Estevan Castilho1-17/+19
2026-09-13delete remaining trashMarcos Magueta1-16/+12
2026-09-12Directory and registry ergonomicsEstevan Castilho1-0/+27
2026-09-11path utilities on kernel for lookup on registryMarcos Magueta1-12/+16
2026-09-11Multigroup objectsEstevan Castilho1-0/+17