There was an error fetching the commit references. Please try again later.
Bugfix: TypedSymbol.is_negative should not be implemented in terms of
super().is_positive This can lead to surprising simplifications
Please register or sign in to comment