[plt-dev] Re: Specs language

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Thu May 28 06:21:12 EDT 2009

Cool. It might be easy to add foreign functions to my Datalog if you
need interesting computations. Let me know if you have problems
encoding it. Now that you have my mind running, maybe I could use it
for my metadata.


On Wed, May 27, 2009 at 11:29 PM, Eli Barzilay <eli at barzilay.org> wrote:
> On May 27, Eli Barzilay wrote:
>> * I'll repeat a point I made earlier -- putting the meta data on svn
>>   properties means that some people will never use that.  I'd prefer
>>   some file (maybe in iplt/build, maybe even using the same language
>>   that is used for the specs).
> On a different topic, your datalog language might be a good
> replacement for the distribution specs "language".
> --
>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                  http://www.barzilay.org/                 Maze is Life!

Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University

"The glory of God is Intelligence" - D&C 93

Posted on the dev mailing list.