Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

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

idris2 markdown

Last synced: about 1 month ago
JSON representation

markdown parse for idris2

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