Skip to content

Helper for computing fix-point Given substitution#21

Merged
sheaf merged 1 commit intomainfrom
givensSubst
Jan 14, 2026
Merged

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

Commits

Commits on Jan 14, 2026

Comments