hydra icon indicating copy to clipboard operation
hydra copied to clipboard

Update Hydra-Java

Open joshsh opened this issue 9 months ago • 1 comments

Hydra-Java is out of sync with Hydra-Haskell due to the recent focus on inference, Python support, etc. Catch Hydra-Java up, updating the generated sources, the libraries, the DSLs, and the utilities.

joshsh avatar Mar 26 '25 23:03 joshsh

More specifically, update Hydra-Java after the Java coder has itself been updated (pulling in modeling and inference changes including typeOf -- #168).

joshsh avatar Jul 08 '25 17:07 joshsh