Agda.Interaction.Library.Parse
parseLibFile
stripComments
splitCommas