M moonbitlang.com MoonBit 0.9 Introduces First-Class Formal Verification 3 points berns 5 months ago 0 comments