summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Main.hs7
1 files changed, 7 insertions, 0 deletions
diff --git a/Main.hs b/Main.hs
index 4dbc74e..2f83f5a 100644
--- a/Main.hs
+++ b/Main.hs
@@ -111,6 +111,12 @@ protopapers pubs = do
then p_ $ bibentry $ head pubs
else ol_ $ forM_ pubs (li_ . bibentry)
+protodesc :: Protocol -> Html ()
+protodesc Protocol { pdescription = Nothing } = mempty
+protodesc Protocol { pdescription = Just desc } = do
+ dt_ "Description"
+ dd_ $ p_ $ toHtml desc
+
protoentry :: Database -> (String, Protocol) -> Html ()
protoentry db (ident, p) =
let
@@ -134,6 +140,7 @@ protoentry db (ident, p) =
small_ $ a_ [href_ (T.pack $ '#':ident), title_ "permalink", class_ "permalink"] "ΒΆ"
dl_ $ do
protopapers pubs
+ protodesc p
protofeatures db p
extcss url = link_ [rel_ "stylesheet", type_ "text/css", href_ url]