A simple argument parser written in Idris.