aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dcl/sublanguage.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2026-04-03formatMarcos Magueta1-4/+4
2026-03-22Sublanguages improvement & Coq experiment (#53)Marcos Magueta1-0/+23
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 05:06:38 +0000