/zeno-deprecated

The DSL based on implicit state machines as in LCTES 22 (deprecated, newer version is coming)

Primary LanguageScala

No issues in this repository yet.