Latest version of com.thoughtworks.implicit-dependent-type:implicit-dependent-type_2.10
https://javadoc.io/doc/com.thoughtworks.implicit-dependent-type/implicit-dependent-type_2.10
Current version 2.0.0
https://javadoc.io/doc/com.thoughtworks.implicit-dependent-type/implicit-dependent-type_2.10/2.0.0
package-list path (used for javadoc generation -link option)
https://javadoc.io/doc/com.thoughtworks.implicit-dependent-type/implicit-dependent-type_2.10/2.0.0/package-list