search

dafny-lang / libraries

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

Request: append-to-file support in FileIO library #137

Closed alex-chew closed 1 year ago

alex-chew commented 1 year ago

Robin beat me to it: https://github.com/dafny-lang/libraries/issues/136