http://adradh.org.uk/b :: {- insert a pretend Haskell type here -} Thu, 03 Dec 2009 23:47:53 +0000 en hourly 1 http://wordpress.org/?v=3.0.2 http://adradh.org.uk/b/post/lambdavaluator-resurrected/ http://adradh.org.uk/b/post/lambdavaluator-resurrected/#comments Sat, 02 May 2009 21:40:51 +0000 Anders http://adradh.org.uk/b/?p=179 http://adradh.org.uk/b/post/lambdavaluator-resurrected/feed/ 0 http://adradh.org.uk/b/post/at-least-it-was-a-slightly-better-reason-than-not-being-bothered/ http://adradh.org.uk/b/post/at-least-it-was-a-slightly-better-reason-than-not-being-bothered/#comments Tue, 03 Mar 2009 00:55:45 +0000 Anders http://adradh.org.uk/b/?p=91 http://adradh.org.uk/b/post/at-least-it-was-a-slightly-better-reason-than-not-being-bothered/feed/ 0 http://adradh.org.uk/b/post/ocamls-type-system-is-awesome/ http://adradh.org.uk/b/post/ocamls-type-system-is-awesome/#comments Fri, 12 Sep 2008 12:46:43 +0000 Anders http://adradh.org.uk/b/?p=58 http://adradh.org.uk/b/post/ocamls-type-system-is-awesome/feed/ 0 http://adradh.org.uk/b/post/sieve-of-eratosthenes-as-a-regexp/ http://adradh.org.uk/b/post/sieve-of-eratosthenes-as-a-regexp/#comments Thu, 04 Sep 2008 01:41:11 +0000 Anders http://adradh.org.uk/b/?p=56 http://adradh.org.uk/b/post/sieve-of-eratosthenes-as-a-regexp/feed/ 0 http://adradh.org.uk/b/post/dialog-box-of-the-day/ http://adradh.org.uk/b/post/dialog-box-of-the-day/#comments Tue, 15 Apr 2008 21:53:36 +0000 Anders http://adradh.org.uk/b/2008/04/15/dialog-box-of-the-day/ http://adradh.org.uk/b/post/dialog-box-of-the-day/feed/ 0 http://adradh.org.uk/b/post/gsoc/ http://adradh.org.uk/b/post/gsoc/#comments Wed, 19 Mar 2008 23:53:22 +0000 Anders http://adradh.org.uk/b/2008/03/20/gsoc/ http://adradh.org.uk/b/post/gsoc/feed/ 0 http://adradh.org.uk/b/post/programming-language-related-pun-print/ http://adradh.org.uk/b/post/programming-language-related-pun-print/#comments Thu, 06 Mar 2008 17:22:52 +0000 Anders http://adradh.org.uk/b/2008/03/06/programming-language-related-pun-print/ http://adradh.org.uk/b/post/programming-language-related-pun-print/feed/ 0 http://adradh.org.uk/b/post/12/ http://adradh.org.uk/b/post/12/#comments Wed, 24 Oct 2007 16:08:23 +0000 Anders http://adradh.org.uk/b/2007/10/24/12/ http://adradh.org.uk/b/post/12/feed/ 0 http://adradh.org.uk/b/post/no-more-windows/ http://adradh.org.uk/b/post/no-more-windows/#comments Thu, 18 Oct 2007 20:49:47 +0000 Anders http://adradh.org.uk/b/2007/10/18/no-more-windows/ http://adradh.org.uk/b/post/no-more-windows/feed/ 0