Merge branch 'main' into dev

This commit is contained in:
msydneyslaga
2023-12-14 13:43:07 -07:00
committed by GitHub

View File

@@ -48,7 +48,7 @@ instance Arbitrary ArithExpr where
-- i don't feel like dealing with division at the moment
[ IntA <$> int
, NegateA <$> arbitrary
-- , IdA <$> arbitrary
, IdA <$> arbitrary
, b (:+)
, b (:-)
, b (:*)