remarks-0.1.6: src/Collector.hs

module Collector (collectHTML) where

import Ast
import Collector.Html

import Text.PrettyPrint

collectHTML :: [Judgement] -> String
collectHTML = render . htmlRemarks