Skip to content

Helper for computing fix-point Given substitution#21

Merged
sheaf merged 1 commit into
mainfrom
givensSubst
Jan 14, 2026
Merged

Helper for computing fix-point Given substitution#21
sheaf merged 1 commit into
mainfrom
givensSubst

Commits

Commits on Jan 14, 2026