implementation("dev.ustits.krefty:krefty-core:0.5.0")Facilitates creation of domain-specific types, addressing Primitive Obsession, inspired by Refinement Type Theory.
| Version | Release | Platforms and targets |
|---|---|---|
| 0.5.0 | Release: 28 May 2023 | JVMJS |
| 0.4.1 | Release: 07 May 2023 | JVMJS |
| 0.4.0 | Release: 07 May 2023 | JVMJS |
| 0.3.4 | Release: 31 Oct 2021 | JVMJS |
| Version | Release | Platforms and targets |
|---|---|---|
| 0.5.0 | Release: 28 May 2023 | JVMJS |
| 0.4.1 | Release: 07 May 2023 | JVMJS |
| 0.4.0 | Release: 07 May 2023 | JVMJS |
| 0.3.4 | Release: 31 Oct 2021 | JVMJS |