Base.Markdown [0.0.1]

Markdown Parser and Renderer for Idris2

Markdown

Markdown is a markdown parser and renderer for Idris2.

Getting Started

Simply add Base.Markdown=^0.0.1 to Inigo.toml and run inigo prod fetch-deps.

Parsing and Rendering

You can simply run Markdown.parse to parse Markdown text:

import Markdown

> Markdown.parse "# Hello world\n\nHow are _you_?"
Just Doc
	[ Header 1 [ Text "Hello world" ]
	, Paragraph [ Text "How are ", Italics "you", Text "?" ]
	]

Then you can render that doc to Html or Text.

map MarkdownFormat.Html.toHtml $ Markdown.parse "# Hello world\n\nHow are _you_?"
<h1>Hello world</h1>
<p>How are <em>you</em>!</p>

Supported Features

* Headers #

* Paragraphs

* Text

* Italics _

* Bold **

* Links []()

* Images ![]()

* Html <> (Basic Support)

Contributing

There are a lot of features to add and support, so feel free to contribute and improve this library. Please make an issue for any bugs.

License

This code is licensed under the MIT license. All contributors must release all code under this same license.

Versions

* 0.0.4

* 0.0.3

* 0.0.1

Link

License