UlfNorell/agda-bench

Benchmarking tool for compile-time performance of Agda programs

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

在 GitHub 上查看原仓库