A Coiteration-based Executable Synchronous Semantics.
语言:OCaml · GitHub 星标:8 · Fork:4
话题:interpreter · semantics · synchronous-programming
在 GitHub 上查看原仓库