A Markdown parser for idris2
- Heading
- Bold
- Italic
- Code
- Link
- Blockquote
- Unordered List
- Ordered List
- Horizontal Rule
- Image
- Fenced Code Block
- Table
- Footnote
- Heading ID
- Definition List
- Strikethrough
- Task List
- Emoji
- Highlight
- Subscript
- Superscript
-
Notifications
You must be signed in to change notification settings - Fork 0
markdown parse for idris2
License
running-grass/idris2-markdown
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
markdown parse for idris2
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published