Star AlbumentationsX on GitHub — it powers this leaderboard

Star on GitHub
← Back to leaderboard
soimort

idris-commonmark

soimort/idris-commonmark

Idris wrapper for jgm's Markdown parser

6stars
View on GitHub
Forks
1
Open issues
0
Watchers
6
Size
0.3 MB
IdrisMIT License
Created: Sep 10, 2014
Updated: Sep 30, 2019
Last push: Feb 17, 2015