/park_bench

Making benchmarking a walk in the park - A small benchmarking utility for idris2

Primary LanguageIdris

No issues in this repository yet.