aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* FormattingEstevan Castilho11 days1-5/+1
|
* `fold_left` -> `foldm_right`Estevan Castilho11 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