aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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