jmlowenthal/staged-streams.agda

An implementation of the staged Strymonas streams library in Agda for C

语言：Haskell · GitHub 星标：8 · Fork：1

话题：agda · c · metaprogramming · streams · verification

在 GitHub 上查看原仓库