https://github.com/soimort/idris-commonmark

Idris wrapper for jgm's Markdown parser
https://github.com/soimort/idris-commonmark

Last synced: about 2 months ago
JSON representation

Idris wrapper for jgm's Markdown parser

• Host: GitHub
• URL: https://github.com/soimort/idris-commonmark
• Owner: soimort
• License: mit
• Created: 2014-09-10T02:28:12.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-02-17T02:02:52.000Z (almost 10 years ago)
• Last Synced: 2024-10-14T12:25:35.121Z (3 months ago)
• Language: Idris
• Homepage:
• Size: 278 KB
• Stars: 6
• Watchers: 3
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Idris-CommonMark

This is a direct [Idris](http://www.idris-lang.org/) wrapper of jgm's [cmark](https://github.com/jgm/cmark) library, a C implementation of [CommonMark](http://commonmark.org/).

**WARNING**: This baby never works the way you want it to. Basically you'll be eaten up by all the `segmentation fault` things.

Installation:

    $ git submodule init

    $ git submodule update

    $ make install

If you are lucky, you can get the provided demo running: (if you are not, you will get a segfault then!)

    $ idris -p commonmark -o Demo Demo.idr

    $ ./Demo > Demo.html