Add hole types and corresponding operatives#58
Open
AstroSnail wants to merge 15 commits intoFundament-Software:mainfrom AstroSnail:hole-types
+202
Commits
Commits on Jan 23, 2024
- committed
Commits on Jan 30, 2024
Merge remote-tracking branch 'github-jesin/unbodge/prim-operative-term-construction' into hole-types
committed- committed
Merge remote-tracking branch 'github-jesin/unbodge/prim-operative-term-construction' into hole-types
committedMerge remote-tracking branch 'github-jesin/unbodge/prim-operative-term-construction' into hole-types
committed- committed