search

dafny-lang / libraries

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

Low-level JSON parsing/serialization library #43

Closed cpitclaudel closed 2 years ago

cpitclaudel commented 2 years ago

Still needed:

keyboardDrummer commented 2 years ago

Is there an issue related to this?

cpitclaudel commented 2 years ago

There is not

cpitclaudel commented 2 years ago

Closing in favor of #51.