idris-jserror (bower): The javascript error type in idris
Keywords: idris|error|javascript