Comments on: Lambda-DAG http://ken.friislarsen.net/blog/2005/01/20/fanboy/ ... but that doesn't matter, because I turn it into a sexy dance Tue, 25 Oct 2011 15:04:31 +0000 hourly 1 http://wordpress.org/?v=3.3.1 By: Ken http://ken.friislarsen.net/blog/2005/01/20/fanboy/comment-page-1/#comment-76 Ken Fri, 21 Jan 2005 07:36:47 +0000 http://ken.friislarsen.net/blog/?p=27#comment-76 I don't think that Olin's current implementation is appropriate for HOL. However, I have a few half-baked ideas for making the data structure persistant, and Olin promissed me if I sent him an email he would send me the code. (I havn't done that, yet. Bad me.) Whether or not I succeed in making the data structure persistant you and the other HOL guys will hear more about this, I promise. I don’t think that Olin’s current implementation is appropriate for HOL. However, I have a few half-baked ideas for making the data structure persistant, and Olin promissed me if I sent him an email he would send me the code. (I havn’t done that, yet. Bad me.)

Whether or not I succeed in making the data structure persistant you and the other HOL guys will hear more about this, I promise.

]]> By: Michael Norrish http://ken.friislarsen.net/blog/2005/01/20/fanboy/comment-page-1/#comment-75 Michael Norrish Fri, 21 Jan 2005 02:30:58 +0000 http://ken.friislarsen.net/blog/?p=27#comment-75 I guess the side-effects mean that we can't use this for HOL. Ah well. I guess the side-effects mean that we can’t use this for HOL. Ah well.

]]>