A library that provides a way for defining functions with type signatures for which pre and post conditions are generated using spec.
~tpt/defns[org.theparanoidtimes/defns "0.1.0"]
org.theparanoidtimes/defns {:mvn/version "0.1.0"}
implementation("org.theparanoidtimes:defns:0.1.0")<dependency> <groupId>org.theparanoidtimes</groupId> <artifactId>defns</artifactId> <version>0.1.0</version> </dependency>
Want to display the latest version of your project on GitHub? Use the markdown code below!
If you want to include pre-releases and snapshots, use the following markdown code: