search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Integer Sequences #15

Closed sarahc7 closed 2 years ago

sarahc7 commented 3 years ago

Hi everyone! Thanks for all of your valuable feedback on the Collections and NonlinearArithmetic sections of the library. We have since added NatSeq. Any comments are appreciated :)

Here is the original standard library discussion.

parno commented 2 years ago

@robin-aws Just to check in, where are we on merging this in?

robin-aws commented 2 years ago

Apologies @parno, I misremembered Rustan's comment as the blocker and forgot I had requested changes.

parno commented 2 years ago

No problem -- thanks for merging it in!

sarahc7 commented 2 years ago

Thank you @robin-aws and @RustanLeino for reviewing! I appreciate all the feedback on our PRs.