summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* tame the stringsstuebinm2021-09-185-49/+62
* (somewhat) reasonable representation of parse errorsstuebinm2021-09-173-23/+44
* input options, output jsonstuebinm2021-09-165-63/+152
* some unused codestuebinm2021-09-161-5/+2
* moving lots of code aroundstuebinm2021-09-167-169/+260
* small updatestuebinm2021-09-161-5/+6
* simple proof of conceptstuebinm2021-09-056-0/+41904