1/5: Building FCTypes (FCTypes.idr)
2/5: Building Hello (Hello.idr)
3/5: Building HelloHole (HelloHole.idr)
4/5: Building HoleFix (HoleFix.idr)
5/5: Building All (All.idr)
Main> Main.convert : Char -> String
Main> Bye for now!
