Bugfix: TypedSymbol.is_negative should not be implemented in terms of
1 related merge request: !31 Bugfix: TypedSymbol.is_negative should not be implemented in terms of super().is_positive
6 jobs
4 minutes 54 seconds, queued for 29 seconds