aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2026-10-07drop journal in favor of local branch historyMarcos Magueta1-0/+16
2026-10-01FOL program encoding and decodingMarcos Magueta1-0/+2
2026-09-25dune fmtMarcos Magueta1-4/+15
2026-09-24`assoc` on associativesEstevan Castilho1-0/+1
2026-09-17Forsake `lookup'`Estevan Castilho1-2/+1
2026-09-13delete remaining trashMarcos Magueta1-1/+1
2026-09-12Directory and registry ergonomicsEstevan Castilho1-0/+3
2026-09-11path utilities on kernel for lookup on registryMarcos Magueta1-1/+1
2026-09-11Multigroup objectsEstevan Castilho1-0/+6