A few more changes - Githubissues

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

MIT License

57 stars 10 forks source link

A few more changes #69

Closed jonesmartins closed 1 year ago

jonesmartins commented 1 year ago

I messed up somewhere, which explains the size of this PR. Next time, I'll create an issue before a PR.

Created npm run playground command;
Created two files in the test directory: run-corpus.sh and run-corpus.ps1, so I could run corpus tests on Linux in parallel;
Changed README.md instructions to sync with past commits + a few formatting changes;

ahelwer commented 1 year ago

The formatting changes to the README seem to have made every sentence its own paragraph?

jonesmartins commented 1 year ago

Oh, that's true. I formatted it manually according to markdownlint on VSCode, but that wasn't intentional. Is it possible to remove README.md from this PR?

ahelwer commented 1 year ago

Yes, you can do that. You will also need to rebase your changes on top of your previous PR's changes.

jonesmartins commented 1 year ago

I messed up so much I decided to start over and start correctly. heh... I learned my lesson. :)