Smithy :: Dafny :: Conversion conversion

Group	software.amazon.smithy.dafny
描述	Convert Native Java Types to Dafny Runtime Types and vice versa
Packaging
Size
文件	pom jar
网址	https://github.com/awslabs/smithy
发布时间	2023-05-24 01:37

dependencies

Group	Artifact	Version
org.dafny	DafnyRuntime	4.1.0

developers

smithy

Smithy

Amazon Web Services

licenses

Apache License 2.0

http://www.apache.org/licenses/LICENSE-2.0.txt