1/8: Building DepPairs (DepPairs.idr)
2/8: Building Do (Do.idr)
3/8: Building Hello (Hello.idr)
4/8: Building Loops (Loops.idr)
5/8: Building PrintLength (PrintLength.idr)
6/8: Building ReadNum (ReadNum.idr)
7/8: Building ReadVect (ReadVect.idr)
8/8: Building All (All.idr)
