From 7a369f9f8d2cc04e1c365fdb18578824ab3a1988 Mon Sep 17 00:00:00 2001 From: wadler Date: Wed, 14 Feb 2018 10:33:53 -0200 Subject: [PATCH] updated README to point to CommonMark --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index fd264a21..23c3de94 100644 --- a/README.md +++ b/README.md @@ -61,5 +61,8 @@ http://agda.readthedocs.io/en/latest/tools/emacs-mode.html For markdown commands see [Daring Fireball]( https://daringfireball.net/projects/markdown/syntax +) or [CommonMark]( +http://spec.commonmark.org/0.28/ ). +