shadowhunters - ¿Generar biblioteca en lugar de ejecutable en Idris?