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)