Wrote up an explanation for the higher-order formalism#1
Open
hezzel wants to merge 1 commit intoTermCOMP:mainfrom
Open
Wrote up an explanation for the higher-order formalism#1hezzel wants to merge 1 commit intoTermCOMP:mainfrom
hezzel wants to merge 1 commit intoTermCOMP:mainfrom
Commits
Commits on Jan 5, 2026
- committed
Cynthia Kop