Add a main agda file to bundle all the modules