Agda.Interaction.Library.Parse
parseLibFile
splitCommas
trimLineComment
type
LineNumber