https://github.com/running-grass/idris2-markdown

markdown parse for idris2
https://github.com/running-grass/idris2-markdown

idris2 markdown

Last synced: 27 days ago
JSON representation

markdown parse for idris2

• Host: GitHub
• URL: https://github.com/running-grass/idris2-markdown
• Owner: running-grass
• License: mit
• Created: 2022-07-16T08:43:46.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-07-31T12:32:35.000Z (over 2 years ago)
• Last Synced: 2023-03-05T13:18:33.153Z (over 1 year ago)
• Topics: idris2, markdown
• Language: Idris
• Homepage:
• Size: 30.3 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# idris2-markdown

A [Markdown](https://www.markdownguide.org/) parser for idris2  

# Stuff still Missing

## Basic Syntax

- [x] Heading

- [x] Bold

- [x] Italic

- [x] Code

- [ ] Link

- [ ] Blockquote

- [ ] Unordered List

- [ ] Ordered List

- [x] Horizontal Rule

- [ ] Image

## Extended Syntax

- [ ] Fenced Code Block

- [ ] Table

- [ ] Footnote

- [ ] Heading ID

- [ ] Definition List

- [ ] Strikethrough

- [ ] Task List

- [ ] Emoji

- [ ] Highlight

- [ ] Subscript

- [ ] Superscript