Lambda the Ultimate Weblog Topics
Last Updated 08/02/2008

Posts By: Daniel P. Friedman

  Date    Post    Topic  
03/15/2008Yes, logic programming is macro-expressible.Pure, Declarative, and Constructive Arithmetic Relations

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com