1/1: Building FCTypes (FCTypes.idr)1/1: Building HelloHole (HelloHole.idr)1/1: Building Hello (Hello.idr)1/1: Building HoleFix (HoleFix.idr)Main> -------------------------------------convert : Char -> StringMain> Bye for now!