Idris2 icon indicating copy to clipboard operation
Idris2 copied to clipboard

Published 20 hours ago • verified publisher icon idris-lang

Warning for shadowed local bindings

Open Z-snails opened this issue 2 years ago • 0 comments

Related to #2607 (doesn't solve it due to warnings not being emitted when errors are)

Z-snails avatar Aug 15 '22 12:08 Z-snails