--import Text.Hamlet

getInfoR :: Handler Html
getInfoR = do
    defaultLayout $ do
        addScript $ StaticR js_proof_js
        addScript $ StaticR js_popper_min_js
        addScript $ StaticR ghcjs_rts_js
        addScript $ StaticR ghcjs_allactions_lib_js
        addScript $ StaticR ghcjs_allactions_out_js
        addScript $ StaticR klement_proofs_js
        addScript $ StaticR klement_syntax_js
        setTitle "Carnap - About"
        addStylesheet $ StaticR css_tree_css
        addStylesheet $ StaticR css_proof_css
        addStylesheet $ StaticR css_exercises_css
        addStylesheet $ StaticR klement_proofs_css
        $(widgetFile "infopage")
        -- TODO : split out the stuff specifically relating to exercises
        addScript $ StaticR ghcjs_allactions_runmain_js

-- TODO remove submit option on these.
getInfoR :: Handler Html
getInfoR = do
    defaultLayout $ do
        addScript $ StaticR js_proof_js
        addScript $ StaticR js_popper_min_js
        addScript $ StaticR ghcjs_rts_js
        addScript $ StaticR ghcjs_allactions_lib_js
        addScript $ StaticR ghcjs_allactions_out_js
        addScript $ StaticR klement_proofs_js
        addScript $ StaticR klement_syntax_js
        setTitle "Carnap - About"
        addStylesheet $ StaticR css_tree_css
        addStylesheet $ StaticR css_proof_css
        addStylesheet $ StaticR css_exercises_css
        addStylesheet $ StaticR klement_proofs_css
        $(widgetFile "infopage")
        -- TODO : split out the stuff specifically relating to exercises
        addScript $ StaticR ghcjs_allactions_runmain_js

-- TODO remove submit option on these.
getInfoR = do
    defaultLayout $ do
        addScript $ StaticR js_proof_js
        addScript $ StaticR js_popper_min_js
        addScript $ StaticR ghcjs_rts_js
        addScript $ StaticR ghcjs_allactions_lib_js
        addScript $ StaticR ghcjs_allactions_out_js
        addScript $ StaticR klement_proofs_js
        addScript $ StaticR klement_syntax_js
        setTitle "Carnap - About"
        addStylesheet $ StaticR css_tree_css
        addStylesheet $ StaticR css_proof_css
        addStylesheet $ StaticR css_exercises_css
        addStylesheet $ StaticR klement_proofs_css
        $(widgetFile "infopage")
        -- TODO : split out the stuff specifically relating to exercises
        addScript $ StaticR ghcjs_allactions_runmain_js

-- TODO remove submit option on these.