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)