Idris wrapper for jgm's Markdown parser
Idris C Makefile
Latest commit 31b7bb5 Feb 17, 2015 @soimort update README
Permalink
Failed to load latest commit information.
cmark @ 1195f30 Upgrade to cmark 0.6 Jan 29, 2015
src Fix partial pattern for cGetBlockTag Feb 2, 2015
.gitignore Upgrade to cmark 0.6 Jan 29, 2015
.gitmodules Upgrade to cmark 0.6 Jan 29, 2015
Demo.idr update Demo Feb 17, 2015
LICENSE add MIT license Sep 11, 2014
Makefile update Makefile Feb 17, 2015
README.md update README Feb 17, 2015
commonmark.ipkg Upgrade to cmark 0.6 Jan 29, 2015

README.md

Idris-CommonMark

This is a direct Idris wrapper of jgm's cmark library, a C implementation of CommonMark.

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