agda-server 0.1.0.1 → 0.1.1

raw patch · 2 files changed

+6/−8 lines, 2 filesdep ~pandoc

Dependency ranges changed: pandoc

Files

• Standalone.hs +4/−6
• agda-server.cabal +2/−2

@@ -10,6 +10,7 @@  import Text.XHtml.Strict (showHtmlFragment) import Text.Pandoc+import qualified Data.Map as Map  --------------------------------------------------------------- @@ -31,13 +32,10 @@             $ common inp filecont      let-        meta = Meta-            { docTitle = [Str inp']-            , docAuthors = []-            , docDate = []-            }+        meta = Meta $ Map.fromList+            [ ("title", MetaInlines [Str inp']) ] -    return $ writeHtmlString `flip` Pandoc meta [ RawBlock "html" $ showHtmlFragment res ]+    return $ writeHtmlString `flip` Pandoc meta [ RawBlock (Format "html") $ showHtmlFragment res ]       $ def         { writerStandalone      = True         , writerTableOfContents = True

@@ -1,5 +1,5 @@ name:               agda-server-version:            0.1.0.1+version:            0.1.1 category:           Dependent types synopsis:           Http server for Agda (prototype) description:@@ -47,7 +47,7 @@                   , utf8-string                   , xhtml                   , HJavaScript-                  , pandoc+                  , pandoc >= 1.12                   , snap-core                   , snap-server                   , Agda >= 2.3.3