Use constants instead of constant functions in integer sequence modules - Githubissues

dafny-lang / libraries

Libraries useful for Dafny programs

Other

43 stars 25 forks source link

Use constants instead of constant functions in integer sequence modules #21

Open robin-aws opened 3 years ago

robin-aws commented 3 years ago

Follow up from: https://github.com/dafny-lang/libraries/pull/15#discussion_r706371774

Blocked by https://github.com/dafny-lang/dafny/issues/1481