All issues

Search results

Investigate constraints: which varieties should Hydra support formally for 1.0?

Status: Open.

#712 In CategoricalData/hydra;

· joshsh opened on Aug 25, 2026

Migrate Hydra's own sources from host-language DSLs to the neutral textual syntax

Status: Open.

#711 In CategoricalData/hydra;

· joshsh opened on Aug 24, 2026

Textual syntax for modules: hydra.print.packaging and hydra.parse.packaging

Status: Open.

#710 In CategoricalData/hydra;

· joshsh opened on Aug 24, 2026

Translingual tail-call optimization: make self-tail-recursion constant-stack on every host

Status: Open.

#709 In CategoricalData/hydra;

· joshsh opened on Aug 24, 2026

heads/typescript declares engines node >=20; local toolchain is v19.8.1

Status: Open.

#708 In CategoricalData/hydra;

· joshsh opened on Aug 24, 2026

bootstrap.ts swallows codegen exception stack traces unless HYDRA_DEBUG is set

Status: Open.

#707 In CategoricalData/hydra;

· joshsh opened on Aug 24, 2026

Bootstrap comparison silently skips every src/test file

Status: Open.

#706 In CategoricalData/hydra;

· joshsh opened on Aug 24, 2026

A fresh release worktree cannot publish hydra-ext to PyPI without an undocumented extra sync

Status: Open.

#705 In CategoricalData/hydra;

· joshsh opened on Aug 24, 2026

Release publishing has no toolchain preflight; two version traps surfaced mid-run at 0.17.5

Status: Open.

#704 In CategoricalData/hydra;

· joshsh opened on Aug 24, 2026

Replace the Haskell cold-seeder with the Java host for the JSON->Haskell cold-seed path

Status: Open.

#703 In CategoricalData/hydra;

· joshsh opened on Aug 24, 2026

Class constraints don't propagate through function-domain (contravariant) positions in inference

Status: Open.

#702 In CategoricalData/hydra;

· joshsh opened on Aug 23, 2026

Module cache freshness must be a Merkle hash over its dependency closure

Status: Open.

#701 In CategoricalData/hydra;

· joshsh opened on Aug 23, 2026