The Comonad.Reader » Meta http://comonad.com/reader types, (co)monads, substructural logic Sun, 25 Dec 2011 06:19:43 +0000 http://wordpress.org/?v=2.8.4 en hourly 1 WikiPress http://comonad.com/reader/2006/wikipress/ http://comonad.com/reader/2006/wikipress/#comments Thu, 26 Oct 2006 23:22:56 +0000 Edward Kmett http://comonad.com/reader/2006/10/26/wiki-content-loaded/ I almost have the blog integrated with the old slipwave wiki content. I kludged something together to display it in WordPress. While I may add a flashy dynamic in-page loading feature like TiddlyWiki, for right now its functional and backwards compatible with my old content and gracefully degrades in the absence of javascript.

By way of example, you might try to view some Haskell source code.

This also might provide better context when I start to talk about things like continuations because I can link right inline to more extended static content.

This also provides me with a more convenient venue for static content than WordPress' default page management system.

Please, let me know if some bit of markup doesn't show up right.

]]> http://comonad.com/reader/2006/wikipress/feed/ 0 Hello, World! http://comonad.com/reader/2006/hello-world/ http://comonad.com/reader/2006/hello-world/#comments Tue, 17 Oct 2006 23:03:01 +0000 Edward Kmett http://comonad.com/reader/2006/10/17/welcome/     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.

]]> http://comonad.com/reader/2006/hello-world/feed/ 1