aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
10 daysfix handle leak by always release a handle now from copiesMarcos Magueta1-3/+12
11 daysUse finger trees in more placesEstevan Castilho1-2/+2
11 daysFormattingEstevan Castilho1-5/+1
11 days`fold_left` -> `foldm_right`Estevan Castilho1-1/+1
2026-10-12concat mapMarcos Magueta1-6/+2
2026-10-12result fold leftMarcos Magueta1-3/+2
2026-10-10Stylelifecycle-ergonomicsEstevan Castilho1-5/+3
2026-10-10Make the autorelease pool opt-inEstevan Castilho1-4/+3
2026-10-10Use an autorelease pool when walking down a pathEstevan Castilho1-19/+14
2026-10-09admission protocol for multigroup denial checksMarcos Magueta1-3/+1
2026-10-08purge schema in favor of simple namespaceMarcos Magueta1-5/+1
2026-10-08rework evaluators and add schema scopeMarcos Magueta1-21/+49
2026-10-07drop journal in favor of local branch historyMarcos Magueta1-9/+97
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