Idris.Main

idrisMain

idris

runMain

runClient

loadInputs