Skip to content

Add native upper projections - #6

Closed
FreshSoftware4 wants to merge 3 commits into
chatgpt/incremental-closure-pass9from
chatgpt/native-upper-projection-pass10
Closed

Add native upper projections#6
FreshSoftware4 wants to merge 3 commits into
chatgpt/incremental-closure-pass9from
chatgpt/native-upper-projection-pass10

Commits

Commits on Jul 25, 2026