intheHaskellstandardlibraryNotethatrep1mxmxrepmnmxrepmmxrepnmxThevericationofhanoiisbyinductiononnThebasecaseistrivialfortheinductivestepweassumetheresultfornandcalculatehanoin1de ID: 124393