whatever the heck I was doing#258

Merged

nikomatsakis merged 44 commits intodada-lang:mainfrom

nikomatsakis:main

Feb 8, 2026

Commits on May 25, 2025

Commits on May 26, 2025

wip: rework predicates
nikomatsakis
committed

Commits on May 27, 2025

Commits on May 29, 2025

Commits on May 31, 2025

support standalone statements at module level
nikomatsakis
committed

Commits on Jun 4, 2025

Implement dynamic RFC population for mdbook preprocessor

nikomatsakis
and
claude
committed

Commits on Jun 13, 2025

Enhance RFC All page with GitHub-inspired UI and interactive features

nikomatsakis
and
claude
committed

Commits on Jun 16, 2025

Draft RFC-0002 documenting comprehensive RFC and specification workflow

nikomatsakis
and
claude
committed

Commits on Jul 24, 2025

Streamline CLAUDE.md for improved actionability and clarity

nikomatsakis
and
claude
committed

Commits on Jan 27, 2026

Commits on Jan 28, 2026

Commits on Feb 7, 2026