MoonBit 0.9: Introducing First-Class Formal Verification (via hongminhee) — discussion

#plt #release