added Kramdown to README

This commit is contained in:
wadler 2018-02-17 11:52:09 -02:00
parent 32a2062a78
commit d1385a7160

View file

@ -60,8 +60,10 @@ http://agda.readthedocs.io/en/latest/tools/emacs-mode.html
For markdown commands see [Daring Fireball]( For markdown commands see [Daring Fireball](
https://daringfireball.net/projects/markdown/syntax https://daringfireball.net/projects/markdown/syntax
) or [CommonMark]( ), [CommonMark](
http://spec.commonmark.org/0.28/ http://spec.commonmark.org/0.28/
), or [Kramdown](
https://kramdown.gettalong.org/syntax.html
). ).