Brummel 9784fe95fe iter 22b.4a.4: form-a printer arm for InstanceDef

2026-05-09 22:14:59 +02:00

..

ail

iter 22b.3.tester: e2e for coherence, default-keyword, cross-module mono

2026-05-09 21:36:15 +02:00

ailang-check

iter 22b.3.7: synthetic fixture — class+instance compiles, runs, prints 5

2026-05-09 21:28:41 +02:00

ailang-codegen

iter 22b.2.1: add Constraint struct, Type::Forall.constraints

2026-05-09 17:34:39 +02:00

ailang-core

iter 22b.2.7: fix — cycle termination guard, hoist type_repr

2026-05-09 18:23:52 +02:00

ailang-prose

iter 22b.2.1: add Constraint struct, Type::Forall.constraints

2026-05-09 17:34:39 +02:00

ailang-surface

iter 22b.4a.4: form-a printer arm for InstanceDef

2026-05-09 22:14:59 +02:00