Skip to content

Draft: Extending P1 Space for various datatypes BUT without generated operators.

Michael Zikeli requested to merge zikelim/P1-SpaceExtension-withoutOpGen into master

This is a MR to cherry-pick all commits from !671 (merged) that do not introduce generated operators to the master branch.

Merge request reports