Commit 2022-12-13 10:25 2803b4aa

View on Github →

chore: bump std4 to change instances for Div Int and Mod Int (#973)

Estimated changes

modified def Int.modeq