// At the moment, this set of tests is one big TODO.
// If we test the build process, we're gonna need the Idris compiler, but this is untenable for
// Travis...