“We think that Clean is the future” is a bold opener for a language intro on an official site. If the workflow section actually shows where the proof obligations land, I’m mildly interested, otherwise this smells like “debugging is so 2024” with extra steps.