(DEPRECATED) Intermediate representation for Copilot.
语言:Haskell · GitHub 星标:6 · Fork:2
话题:c · embedded-c · embedded-systems · haskell · runtime-verification · stream-programming · streams
在 GitHub 上查看原仓库