aboutsummaryrefslogtreecommitdiff
path: root/test/test_parser.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-26Add support for intsMarc Coquand1-0/+1
2023-12-26Support many newlinesMarc Coquand1-13/+12
2023-12-26Support semicolon as separatorMarc Coquand1-0/+1
2023-12-25Initial commitMarc Coquand1-0/+38