Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
128
stars
6
forks
source link
Move starlark_role to lib/, json marshall role to only roleref #73
Closed
jp-fizzbee closed 3 weeks ago