diff options
author | defanor <defanor@uberspace.net> | 2017-11-08 13:05:35 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-11-08 13:05:35 +0300 |
commit | 6ca97c245713ea6ba83a3cd1d3c9873bac6bcd99 (patch) | |
tree | 47c4a8b33bfb51942831951573df5a9d566a73e2 /Pancake/Printing.hs | |
parent | 1d8a5140e3ce03d9fa6b9c63a6621ab3ab64eb4c (diff) |
Denote headings
Diffstat (limited to 'Pancake/Printing.hs')
-rw-r--r-- | Pancake/Printing.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Pancake/Printing.hs b/Pancake/Printing.hs index 9bc6c81..04d9de6 100644 --- a/Pancake/Printing.hs +++ b/Pancake/Printing.hs @@ -93,6 +93,7 @@ showSexps uri ro = showDenotation :: Denotation -> String showDenotation (Link u) = list ["link", ".", encodeStr $ show u] showDenotation (Math m) = list ["math", ".", encodeStr m] + showDenotation (Heading l) = list ["heading", ".", show l] mergeStyled :: [Styled] -> [Styled] mergeStyled = foldr mergeStyled' [] |