aboutsummaryrefslogtreecommitdiffstats
path: root/lib/prelude/domains.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-06-23FormatMarcos Magueta1-93/+40
2026-05-18RNT interfaceMarcos Magueta1-1/+1
Co-authored-by: Estevan Castilho <tevo@riajuu.net>
2026-05-11Multigroup unified reference for hierarchical accessMarcos Magueta1-21/+77
2026-04-03formatMarcos Magueta1-54/+51
2026-03-08constraintsMarcos Magueta1-0/+6
2026-03-07domainsMarcos Magueta1-0/+112