Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
128
stars
6
forks
source link
fix the scope of 'any' variable. instead of creating a new variable, use the one visible #51
Closed
jp-fizzbee closed 2 months ago
…