added src directory and Main.idr