search

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.
https://scenic-lang.org/
Other
271 stars 93 forks source link

Updated Documentation/Type Checking for On Specifier #184

Closed Eric-Vin closed 11 months ago

Eric-Vin commented 11 months ago

Made some updates to the docs and typechecking.