#!/usr/bin/env bash
# Tests that documentation is generated for typeclasses
${IDRIS:-idris} --mkdoc test_typeclasses.ipkg
[ -d test_typeclasses_doc ] && echo "Typeclasses are documented"
rm -rf *.ibc *_doc