1/1: Building DepPairs (DepPairs.idr)
1/1: Building Do (Do.idr)
1/1: Building Hello (Hello.idr)
1/1: Building Loops (Loops.idr)
1/1: Building PrintLength (PrintLength.idr)
1/1: Building ReadNum (ReadNum.idr)
1/1: Building ReadVect (ReadVect.idr)