dafny-lang / libraries

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

Verified and easy-to-use parser combinators #64

Open MikaelMayer opened 1 year ago

MikaelMayer commented 1 year ago

Missing

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

MikaelMayer commented 4 months ago

Note of usability:

codyroux commented 4 months ago

Some further minor notes:

None of these are "must haves" though.