Skip to content
New issue

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

Add support for Mermaid's quadrantChart diagram type #779

Open
bhargavbh opened this issue Jul 26, 2023 · 0 comments
Open

Add support for Mermaid's quadrantChart diagram type #779

bhargavbh opened this issue Jul 26, 2023 · 0 comments
Assignees
Labels
maybe-someday Dreaming of what we can and should do webDev-design Reveal-js related

Comments

@bhargavbh
Copy link
Contributor

I have used quadrantChart in my slides. It does not seem to work, while other types from the copy-paste template work. It does not seem to work, while other types from the copy-paste template work. Would be great if support could be added for it.
Here is the mermaid snippet that can be used for testing:

quadrantChart
    title Verification Tools
    x-axis Low Automation --> High Automation
    y-axis Low Expressiveness --> High Expressiveness
    
    Isabelle: [0.15, 0.8]
    Coq: [0.18, 0.75]
    Quint/TLA+: [0.23, 0.6]
    MIRAI: [0.58, 0.34]
    KANI: [0.62, 0.4]
    Crux-MIR: [0.67,0.36]
    Flux: [0.67,0.30]
    State-Right: [0.3, 0.54]
    Prusti: [0.4,0.48]
    Substrace: [0.9,0.23]
    Flowistry: [0.8, 0.25]
    Clippy: [0.99,0.17]
@nuke-web3 nuke-web3 added maybe-someday Dreaming of what we can and should do webDev-design Reveal-js related labels Jul 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maybe-someday Dreaming of what we can and should do webDev-design Reveal-js related
Projects
None yet
Development

No branches or pull requests

3 participants