A Javascript API for Idris