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

Helper for computing fix-point Given substitution

730876f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar