w

wyc-all

The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for compiling Whiley source files into binary WyIL files. The compiler supports compile-time verification of source files.
http://whiley.org
Apache License, Version 2.0
David J. Pearce
Files download
File Operation
wyc-all-0.9.6.pom download
Apache Maven
<dependency>
  <groupId>org.whiley</groupId>
  <artifactId>wyc-all</artifactId>
  <version>0.9.6</version>
  <type>pom</type>
</dependency>
Gradle Groovy
implementation 'org.whiley:wyc-all:0.9.6'
Gradle Kotlin
implementation("org.whiley:wyc-all:0.9.6")
Scala SBT
libraryDependencies += "org.whiley" % "wyc-all" % "0.9.6"
Groovy Grape
@Grapes(
  @Grab(group='org.whiley', module='wyc-all', version='0.9.6')
)
Apache Ivy
<dependency org="org.whiley" name="wyc-all" rev="0.9.6" />
Leiningen
[org.whiley/wyc-all "0.9.6"]
Apache Buildr
'org.whiley:wyc-all:jar:0.9.6'
Dependencies