Avanzando con las filminas
Terminando la parte de Agda para las filminas