aboutsummaryrefslogtreecommitdiffstats
path: root/lib/prelude/domains.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* further deletions on drl and preludeMarcos Magueta2026-09-261-118/+0
|
* FormatMarcos Magueta2026-06-231-93/+40
|
* RNT interfaceMarcos Magueta2026-05-181-1/+1
| | | Co-authored-by: Estevan Castilho <tevo@riajuu.net>
* Multigroup unified reference for hierarchical accessMarcos Magueta2026-05-111-21/+77
|
* formatMarcos Magueta2026-04-031-54/+51
|
* constraintsMarcos Magueta2026-03-081-0/+6
|
* domainsMarcos Magueta2026-03-071-0/+112