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.