Optimized JS codegen for Idris - View it on GitHub