@@ -1,5 +1,5 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−# Tests that documentation is generated for type classes
2+# Tests that documentation is generated for typeclasses
3idris --mkdoc test_typeclasses.ipkg
3idris --mkdoc test_typeclasses.ipkg
4[ -d test_typeclasses_doc ] && echo "Typeclasses are documented"
4[ -d test_typeclasses_doc ] && echo "Typeclasses are documented"
5rm -rf *.ibc *_doc
5rm -rf *.ibc *_doc