1 repository on SrcLog
Provide a JVM-targeting language that offers a canonical, typed, and effect-tracked intermediate representation for AI-driven software transformation.