Brummel 9523a1cd63 iter 22-tidy.4: pin lockstep invariant + tighten module doc

2026-05-10 04:13:41 +02:00

..

ail

test: red for mono-pass unknown module prefix on qualified xmod reference in class workspace

2026-05-10 01:19:45 +02:00

ailang-check

iter env-unify.audit: tidy stale Env docs, pin-test docstring; queue types/ctor_index shape

2026-05-10 02:36:27 +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 22-tidy.4: pin lockstep invariant + tighten module doc

2026-05-10 04:13:41 +02:00

ailang-prose

iter 22-tidy.3: prose-lib — drop 22b.4 reference from class/instance placeholder

2026-05-09 22:52:17 +02:00

ailang-surface

iter 22b.4a.5: retire round-trip skip-list for class/instance fixtures

2026-05-09 22:25:32 +02:00