aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.mli (follow)
Commit message (Collapse)AuthorAgeFilesLines
* rework evaluators and add schema scopeMarcos Magueta2026-10-081-1/+7
|
* drop journal in favor of local branch historyMarcos Magueta2026-10-071-0/+16
|
* FOL program encoding and decodingMarcos Magueta2026-10-011-0/+2
|
* dune fmtMarcos Magueta2026-09-251-4/+15
|
* `assoc` on associativesEstevan Castilho2026-09-241-0/+1
|
* Forsake `lookup'`Estevan Castilho2026-09-171-2/+1
|
* Directory and registry ergonomicsEstevan Castilho2026-09-121-0/+3
|
* Multigroup objectsEstevan Castilho2026-09-111-0/+6