my friend did make music but but the program (bosca ceol) couldn't convert it to a .wav file
What format was it in? There's a lot of decent conversion tools. It's often best to work with .ogg for space efficiency I think.
.ceol (a bosca ceol file format)