import qualified Control.Comonad as Comonad
import qualified Edward hiding (personal_details)
import Blog.Software

-- Hello, World!

instance Blog Comonad.Reader where
url = "http://comonad.com/reader"
author = Edward.Kmett

main = forever $ post stuff

Syntax highlighting works.

\inference{}{\Gamma, x:\tau \vdash x:\tau}[var]

\inference{\Gamma,x:\sigma \vdash M:\tau}{\Gamma \vdash \lambda x : \sigma. M : \sigma \rightarrow \tau}[abs]

\inference{\Gamma \vdash M : \sigma \rightarrow \tau & \Gamma \vdash N:\sigma}{\Gamma \vdash M N : \tau}[app]

Apparently, \LaTeX works.

\bfig \square/>>`>`>` >->/[A`B`C`D;e`f`g`m] \morphism(500,500)|m|/.>/<-500,-500>[B`C;h] \efig

Commutative diagrams, check.

All systems go.

World, meet blog; blog, meet world.