intellij-arend icon indicating copy to clipboard operation
intellij-arend copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

"Redundant parens" inspection takes too long on Algebra.Ring.Localization (arend-lib)

Open marat-rkh opened this issue 2 years ago • 0 comments

We need to profile and fix this performance issue.

marat-rkh avatar Oct 24 '22 08:10 marat-rkh