From: Jim Pryor <profjim@jimpryor.net>
Date: Thu, 2 Dec 2010 16:48:41 +0000 (-0500)
Subject: offsite
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=a5eb7b2fe5352faecd3a23cf7689b90f15329970

offsite

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---

diff --git a/offsite_reading.mdwn b/offsite_reading.mdwn
index b6b349e2..e5169907 100644
--- a/offsite_reading.mdwn
+++ b/offsite_reading.mdwn
@@ -202,12 +202,6 @@ in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Spr
 *	[Pointers in OCaml](http://caml.inria.fr/resources/doc/guides/pointers.html)
 
 
-## The Curry-Howard Correspondence ##
-*	The [[!wikipedia Curry-Howard isomorphism]]
-*	[The Curry-Howard correspondence in Haskell](http://www.thenewsh.com/~newsham/formal/curryhoward/)
-*	[The Curry-Howard Isomorphism](http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism) at Haskell wiki<p>
-
-
 ## Continuations ##
 
 *	[[!wikipedia Continuation]]
@@ -239,6 +233,13 @@ in M. Broy, editor, *Marktoberdorf Summer School on Program Design Calculi*, Spr
 *	[Delimited continuations in natural language semantics](http://okmij.org/ftp/gengo/)
 
 
+## The Curry-Howard Correspondence ##
+*	The [[!wikipedia Curry-Howard isomorphism]]
+*	[The Curry-Howard correspondence in Haskell](http://www.thenewsh.com/~newsham/formal/curryhoward/)
+*	[The Curry-Howard Isomorphism](http://en.wikibooks.org/wiki/Haskell/The_Curry-Howard_isomorphism) at Haskell wiki<p>
+
+
+
 ## Linear Logic ##
 
 *	[[!wikipedia Linear logic]]