gnu: Add agda.