idris-assert (bower): A simple idris assertion library
Keywords: idris|assert|assertion|assertions|idris-assertion-library|test|tests|unit