New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Extract smithy-dafny for use with AWS SDKs #147

Closed

alex-chew opened this issue Feb 24, 2023 · 1 comment

Assignees

Contributor

alex-chew commented Feb 24, 2023

TODO

alex-chew assigned alex-chew and robin-aws

Contributor

robin-aws commented Feb 28, 2023

Replacing with milestone: https://github.com/awslabs/polymorph/milestone/1

robin-aws closed this as completed

robin-aws pushed a commit that referenced this issue


docs(README): update README for repo rename update (#147)

6d505b4

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment