Brummel 78ccbcee9c iter ct.2.1: qualify_local_types on class-method channel + Forall constraints recursion

2026-05-11 09:00:06 +02:00

..

ail

iter ct.1.8: E2E coverage for canonical-form diagnostic surface + happy path

2026-05-11 01:50:29 +02:00

ailang-check

iter ct.2.1: qualify_local_types on class-method channel + Forall constraints recursion

2026-05-11 09:00:06 +02:00

ailang-codegen

iter 23.3.2-fixup: emit_compare_ladder helper + drop unused test param

2026-05-10 23:10:02 +02:00

ailang-core

iter ct.1.7: on-disk fixture tests for canonical-form diagnostics

2026-05-11 01:46:58 +02:00

ailang-prose

floats iter 5.1: prose renders Float literals (finite + NaN/Inf)

2026-05-10 16:36:12 +02:00

ailang-surface

floats iter 2.3: surface print emits shortest round-trippable decimal with .0 fallback

2026-05-10 15:11:31 +02:00