Report and Information for M.Sc. 3rd semester project on rewriting Idris parser and introducing a proof tactic for induction