search

dafny-lang / libraries

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

feat: Add MapWithResult #26

Closed seebees closed 3 years ago

seebees commented 3 years ago

Map over a sequence but the transformation returns a Result.