Agda.Interaction.Library.Parse

parseLibFile

stripComments

splitCommas