checker :: Int -> Text -> Text -> Text -> Text -> Text -> HtmlUrl url
checker n thetype sys opts goal proof = 
        [hamlet|
        <div class="exercise">
            <span>example #{show n}
            <div data-carnap-type="#{thetype}" data-carnap-options="#{opts}" data-carnap-system="#{sys}" data-carnap-goal="#{goal}">
                #{strip proof}
        |]
    where strip = dropWhile (== '\n')
checker :: Int -> Text -> Text -> Text -> Text -> Text -> HtmlUrl url
checker n thetype sys opts goal proof = 
        [hamlet|
        <div class="exercise">
            <span>example #{show n}
            <div data-carnap-type="#{thetype}" data-carnap-options="#{opts}" data-carnap-system="#{sys}" data-carnap-goal="#{goal}">
                #{strip proof}
        |]
    where strip = dropWhile (== '\n')
checker n thetype sys opts goal proof = 
        [hamlet|
        <div class="exercise">
            <span>example #{show n}
            <div data-carnap-type="#{thetype}" data-carnap-options="#{opts}" data-carnap-system="#{sys}" data-carnap-goal="#{goal}">
                #{strip proof}
        |]
    where strip = dropWhile (== '\n')