ziman/idris2-perf

Various benchmarks

This repository is not active