A toy implementation of a synchronous programming language inspired by Esterel
language
verification
reactive-programming
synchronous
formal-methods
esterel
synchronous-language
reactive-systems
synchronous-programming
-
Updated
Apr 21, 2022 - OCaml