MoonBit 0.9 Introduces First-Class Formal Verificationmoonbitlang.com3 points·berns··0 commentsOpen articleSaveView on HN