I am looking for a good way to make iterations on
Int63.int integers (using module
Int63), is there an elegant way to do so ? Without declaring any
I don't see any, I would probably go through positive using
Hi! We had some ideas on how to add native iterators based on a computational interpretation of the well foundedness predicate. IIRC it was a suggestion by @Guillaume Melquiond when
Int63 were being merged. However, it will require some more work. Meanwhile indeed, going through positives is probably the easiest solution.
Last updated: Sep 30 2023 at 07:01 UTC