Open
Description
Core computation is too naive to be used for e.g. optimizing queries/constraints. Even adding the associated morphism/transform triggers recompilation that takes too long.
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests
Activity