jochembroekhoff/agda2llvm

LLVM Backend for Agda (BSc thesis)

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

话题：agda · agda-backend · llvm-ir · tudelft-cse-research-project

在 GitHub 上查看原仓库