From: Douglas Gregor (gregod_at_[hidden])
Date: 2001-10-17 09:23:26
On Wednesday 17 October 2001 02:44, you wrote:
> Which Lambda library?
> Is there a Lambda calculus library in boost?
There are three that I know of:
1) The Lambda Library (http://lambda.cs.utu.fi/)
2) FACT! (http://www.kfa-juelich.de/zam/FACT/start/index.html)
3) FC++ (http://www.cc.gatech.edu/~yannis/fc++/)
The Lambda Library is expected to be submitted to Boost for review at some
point in the (near?) future.
Doug