Music of Alexander Agricola as Humdrum digital scores.