[plt-dev] Specs language

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!