Commit 2023-10-15 14:34 84f5ad08

View on Github →

refactor: AddCircle (#7700) This is a refactor of AddCircle, changing it from a def to an abbrev. This fixes issues arising from a deriving statement that failed during the port, and allows for much better inference of instances.

Estimated changes