Closed archaephyrryx closed 3 months ago
Work-in-progress effort to fix missing type-information in generated code through TC-engine-based elaboration, using Typed* versions of Format, Expr, Pattern, Decoder, and other related types.
Work-in-progress effort to fix missing type-information in generated code through TC-engine-based elaboration, using Typed* versions of Format, Expr, Pattern, Decoder, and other related types.