mpickering

all:
	pandoc --filter pandoc-citeproc --variable="linestretch=2" --template=afterbody.tex -o minimal.pdf minimal.md

mpickering

This is the extra file.

mpickering

	Sat Dec  6 21:21 2014 Time and Allocation Profiling Report  (Final)

	   pandoc +RTS -K16m -p -K4000M -RTS -f html -t plain -o plain.txt 76d21fc1321880f48eb6/bad.html

	total time  =       71.03 secs   (71031 ticks @ 1000 us, 1 processor)
	total alloc = 148,899,219,400 bytes  (excludes profiling overheads)

COST CENTRE     MODULE             %time %alloc

realLength      Text.Pandoc.Pretty  30.3   27.6

mpickering

module Main where

import Text.Pandoc.JSON
import Data.List

main = toJSONFilter removeComments

removeComments :: Block -> [Block]
removeComments e@(RawBlock (Format "html") s) = if isComment s then [] else [e]
removeComments e = [e]

mpickering

module Main where

import Text.Pandoc.JSON

main = toJSONFilter removeFootnote

removeFootnote :: Inline -> [Inline]
removeFootnote (Note _) = []
removeFootnote e = [e]

mpickering

module Main where

import Text.Pandoc.JSON
import Data.List (isPrefixOf)
import Data.Char (isAlphaNum)

main = toJSONFilter insertSpaces

insertSpaces :: Inline -> Inline
insertSpaces l@(Link [Str x] (url, tit))

mpickering

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TypeFamilies      #-}

import           Data.ByteString.Lazy       ()
import           Text.Blaze.Html            (Html)
import           Text.Blaze.Renderer.Utf8   (renderMarkup)

import           Control.Monad.Trans.Either (EitherT, runEitherT)
import           Data.Proxy                 (Proxy (Proxy))
import           Servant.Server.Internal    (HasServer (..), RouteMismatch (WrongMethod, NotFound),

mpickering

{-# LANGUAGE OverloadedStrings #-}
module Main where

-- https://groups.google.com/d/msgid/pandoc-discuss/45a32eb9-23b9-4df1-8c6e-2e08073df166%40googlegroups.com?utm_medium=email&utm_source=footer

import Text.Pandoc.JSON
import Text.Pandoc.Definition
import Text.Printf
import Data.Maybe

mpickering

{-# LANGUAGE DataKinds, TypeFamilies, TypeOperators, OverloadedStrings #-}
module M where

import Servant.Server
import Servant
import Data.Text (Text)
import Network.Wai.Handler.Warp
import Data.Proxy

myApi :: Proxy MyApi

mpickering

module RepListMin where

repListMin :: [Int] -> [Int]
repListMin xs = res
  where
    (m, res) = repListMin' m xs


repListMin' :: Int -> [Int] -> (Int, [Int])
repListMin' m [x] = (x, [m])