search

smithy-lang / smithy-dafny

Apache License 2.0
7 stars 8 forks source link

Fix typos #329

Open MikaelMayer opened 3 months ago

MikaelMayer commented 3 months ago

Fixed typos in TestModels/README.md

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.