functional programming - shadowhunters - ¿Entonces cuál es el punto?

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