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.