aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* fix handle leak by always release a handle now from copiesMarcos Magueta11 days1-3/+12
* Use finger trees in more placesEstevan Castilho12 days1-2/+2
* FormattingEstevan Castilho12 days1-5/+1
* `fold_left` -> `foldm_right`Estevan Castilho12 days1-1/+1
* concat mapMarcos Magueta2026-10-121-6/+2
* result fold leftMarcos Magueta2026-10-121-3/+2
* merge lifecycle-ergonomics and rework modes and contain checksMarcos Magueta2026-10-111-18/+13
|\
| * Stylelifecycle-ergonomicsEstevan Castilho2026-10-101-5/+3
| * Make the autorelease pool opt-inEstevan Castilho2026-10-101-4/+3
| * Use an autorelease pool when walking down a pathEstevan Castilho2026-10-101-19/+14
* | admission protocol for multigroup denial checksMarcos Magueta2026-10-091-3/+1
* | purge schema in favor of simple namespaceMarcos Magueta2026-10-081-5/+1
* | rework evaluators and add schema scopeMarcos Magueta2026-10-081-21/+49
* | drop journal in favor of local branch historyMarcos Magueta2026-10-071-9/+97
|/
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 22:06:25 +0000