Download conversion JAR file with all dependencies
conversion from group software.amazon.smithy.dafny (version 0.1)
Convert Native Java Types to Dafny Runtime Types and vice versa
Artifact conversion
Group software.amazon.smithy.dafny
Version 0.1
Last update 23. May 2023
Tags: types vice java native runtime dafny convert versa
Organization not specified
URL https://github.com/awslabs/smithy
License Apache License 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group software.amazon.smithy.dafny
Version 0.1
Last update 23. May 2023
Tags: types vice java native runtime dafny convert versa
Organization not specified
URL https://github.com/awslabs/smithy
License Apache License 2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)