idris.js 324 Bytes