io.github.pedronahum:tlaloc-ir — package for tlaloc KMP library

tlaloc-ir:0.1.0-alpha01

Latest release0.1.0-alpha02 (22 days ago)

Kotlin version2.3.20

Build tool versionGradle 9.5.0

JVM

implementation("io.github.pedronahum:tlaloc-ir:0.1.0-alpha01")

DXIR — Tlaloc's differentiable IR, its reference interpreter, and the phi-calculus coarsener that rewrites loops before differentiation.

Version	Release	Platforms
0.1.0-alpha02	Release: 24 Sep 2026	JVM
0.1.0-alpha01	Release: 24 Sep 2026	JVM

*Only more recent versions are displayed

JVM

Version	Release	Platforms
0.1.0-alpha02	Release: 24 Sep 2026	JVM
0.1.0-alpha01	Release: 24 Sep 2026	JVM

*Only more recent versions are displayed