Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
perf(CategoryTheory.Subterminal): avoid autoParams (#11305)
With `aesop_cat` as `autoParam` this was taking 20-25s to build one declaration. This explicitly provides fills the argument and significantly speeds up the build. A comment is left about the issue. Co-authored-by: Matthew Robert Ballard <100034030+mattrobball@users.noreply.github.com>
- Loading branch information
1 parent
eb655f8
commit a2120dc
Showing
1 changed file
with
12 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters