diff --git a/src/Parser/Unlit.idr b/src/Parser/Unlit.idr index e0ca49845..23e80c973 100644 --- a/src/Parser/Unlit.idr +++ b/src/Parser/Unlit.idr @@ -24,7 +24,10 @@ styleOrg = MkLitStyle export styleCMark : LiterateStyle -styleCMark = MkLitStyle [("```idris", "```")] Nil [".md", ".markdown"] +styleCMark = MkLitStyle + [("```idris", "```"), ("~~~idris", "~~~")] + Nil + [".md", ".markdown"] export isLitFile : String -> Maybe LiterateStyle