io.github.mmhelloworld : idris-jvm

<!-- https://mavenlibs.com/maven/pom/io.github.mmhelloworld/idris-jvm --><dependency>
    <groupId>io.github.mmhelloworld</groupId>
    <artifactId>idris-jvm</artifactId>
    <version>0.6.0.4</version>
</dependency>

// https://mavenlibs.com/maven/pom/io.github.mmhelloworld/idris-jvmimplementation group: 'io.github.mmhelloworld', name: 'idris-jvm', version: '0.6.0.4'

// https://mavenlibs.com/maven/pom/io.github.mmhelloworld/idris-jvmimplementation 'io.github.mmhelloworld:idris-jvm:0.6.0.4'

// https://mavenlibs.com/maven/pom/io.github.mmhelloworld/idris-jvmimplementation("io.github.mmhelloworld:idris-jvm:0.6.0.4")

// https://mavenlibs.com/maven/pom/io.github.mmhelloworld/idris-jvmlibraryDependencies += "io.github.mmhelloworld" % "idris-jvm" % "0.6.0.4"

<!-- https://mavenlibs.com/maven/pom/io.github.mmhelloworld/idris-jvm --><dependency org="io.github.mmhelloworld" name="idris-jvm" rev="0.6.0.4"/>

// https://mavenlibs.com/maven/pom/io.github.mmhelloworld/idris-jvm@Grapes(
    @Grab(group='io.github.mmhelloworld', module='idris-jvm', version='0.6.0.4')
)

;; https://mavenlibs.com/maven/pom/io.github.mmhelloworld/idris-jvm[io.github.mmhelloworld/idris-jvm "0.6.0.4"]

# https://mavenlibs.com/maven/pom/io.github.mmhelloworld/idris-jvm'io.github.mmhelloworld:idris-jvm:jar:0.6.0.4'