Skip to content

feat: print an individual procedure (print [proc] M.p)#1064

Merged
strub merged 1 commit into
mainfrom
print-proc
Jul 3, 2026
Merged

feat: print an individual procedure (print [proc] M.p)#1064
strub merged 1 commit into
mainfrom
print-proc

Commits

Commits on Jul 1, 2026