Add two example programs of Idris