wjrforcyber/SystemT

👨‍💻 Implementing System T in Haskell 👨‍💻

语言：Haskell · GitHub 星标：6 · Fork：0

话题：benchmark · haskell · lambda-calculus · language · programming-language · semantics · system · test

在 GitHub 上查看原仓库