1/1: Building Double (Double.idr)1/1: Building Generic (Generic.idr)1/1: Building HOF (HOF.idr)1/1: Building Partial (Partial.idr)1/1: Building Reverse (Reverse.idr)1/2: Building Average (Average.idr)2/2: Building AveMain (AveMain.idr)1/1: Building Let_Where (Let_Where.idr)