Skip to content

Update benchmarks#36

Merged
jipolanco merged 5 commits intomasterfrom bench/idris/v0.12.5Aug 30, 2021

Commits

Commits on Aug 25, 2021

Commits on Aug 30, 2021