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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk