search

dafny-lang / libraries

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

Request (I/O): AppendBytesToFile to complement WriteBytesToFile #136

Open robin-aws opened 12 months ago

robin-aws commented 12 months ago

What it says on the tin :)