Benchmark of the new Idris JS backend - View it on GitHub