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

Published 20 hours ago • verified publisher icon JetBrains

False positive redundant parens inspection

Open sxhya opened this issue 1 year ago • 0 comments 

\data Empty

\func foo : \Sigma (Empty -> Nat) Nat => (\lam e => (\case e), 0)

sxhya avatar Sep 20 '23 15:09 sxhya