aboutsummaryrefslogtreecommitdiffstats
path: root/lib/prelude/catalog.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* further deletions on drl and preludeMarcos Magueta2026-09-261-158/+0
|
* FormatMarcos Magueta2026-06-231-102/+52
|
* RNT interfaceMarcos Magueta2026-05-181-0/+5
| | | Co-authored-by: Estevan Castilho <tevo@riajuu.net>
* FormatMarcos Magueta2026-04-271-11/+7
|
* Foreign call PRL (#67)Marcos Magueta2026-04-271-0/+56
|
* Introduce Multigroups (#65)Marcos Magueta2026-04-271-5/+39
|
* formatMarcos Magueta2026-04-031-67/+68
|
* Branching and naïve merge strategiesMarcos Magueta2026-03-141-0/+3
| | | | | | | | | | | | | | | * AGPL license * branching and merging * Delete LICENSE in favor of separate PR Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com> * add unmonitored tests and docs --------- Signed-off-by: Marcos Magueta <maguetamarcos@gmail.com>
* format todos and comment improvementMarcos Magueta2026-03-081-15/+8
|
* catalogMarcos Magueta2026-03-071-0/+120