[ add ] `INT` view of `Data.Integer.Base.ℤ`

Open jamesmckinna opened this issue 1 month ago • 3 comments

See discussion on #2879 .

Nov 21 '25 08:11 jamesmckinna

Would rewriting existing proofs in terms of the new view be in scope for this issue?

Nov 21 '25 12:11 Taneb

I don't see why not! If anything, we ought to do so as a proof-of-concept/smell test... ?

Nov 21 '25 16:11 jamesmckinna

Agreed.

Nov 21 '25 19:11 JacquesCarette