docs: update badges; fix markdown lint complains
Linter config `.vscode/settings.json`:
```json
{
"[markdown]": {
"files.trimTrailingWhitespace": false,
},
"markdownlint.config": {
"default": true,
// "ul-style": {
// "style": "asterisk"
// },
"MD001": false,
"MD024": false,
"MD025": false,
"MD033": false,
"MD041": false,
"MD053": false,
},
}
```
This commit is contained in:
parent
6c520452ad
commit
613382c70a
14 changed files with 121 additions and 95 deletions
|
|
@ -35,8 +35,6 @@ At the end of these transformations, the initial grammar is split into two gramm
|
|||
|
||||
### Building Parse Tables
|
||||
|
||||
|
||||
|
||||
## The Runtime
|
||||
|
||||
WIP
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue