Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
150
stars
8
forks
source link
Always leave condition expr evalaution atomic. That is choosing the b… #12
Closed
jp-fizzbee closed 6 months ago
…ranch in if-elif-else is atomic