We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
For example, this table is currently considered invalid, while it's perfectly fine:
Thing produced | Quotation syntax | Type ---------------|------------------|---------- Declaration | `[d| … |]` | `Q [Dec]` Expression | `[e| … |]` | `Q Exp` Type | `[t| … |]` | `Q Type` Pattern | `[p| … |]` | `Q Pat`
The text was updated successfully, but these errors were encountered:
Also, we should be able to recover from parse errors in tables and continue parsing.
Sorry, something went wrong.
Interestingly, GitHub's own markdown processor is also buggy and is fooled by pipes in code spans as well.
Also, we need to figure out what to do when markdown looks like it could be interpreted as a list and as a table at the same time.
mrkkrp
No branches or pull requests
For example, this table is currently considered invalid, while it's perfectly fine:
The text was updated successfully, but these errors were encountered: