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!
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 -> String
Main> Bye for now!