Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
150
stars
8
forks
source link
Allow creating multiple roles on the same line. #76
Open
damnMeddlingKid opened 2 months ago
Currently if we try to make multiple assignments of roles single line we get an error.
The work around is to assign roles on multiple lines which is kind of awkward