1/1: Building Arith (Arith.idr)
1/1: Building ArithCmd (ArithCmd.idr)
1/1: Building ArithCmdDo (ArithCmdDo.idr)
1/1: Building ArithTotal (ArithTotal.idr)
1/1: Building Greet (Greet.idr)
1/1: Building InfIO (InfIO.idr)
1/1: Building InfList (InfList.idr)
1/1: Building Label (Label.idr)
1/1: Building RunIO (RunIO.idr)
1/1: Building Streams (Streams.idr)
1/1: Building StreamFail (StreamFail.idr)