Hi, I would like to know if the debian-edu (maths) team could be interested by the packaging of Lambdacan software, which it is a lambda-calculus interpreter ... It COuld be interesting for someone who is studying lambda-calculus ! Here ( http://alum.wpi.edu/~tfraser/Software/Arduino/lambdacan.html ) is the funny web page of this peace of soft with a crazy application ... But It can obviously directly be installed on a linux system .
Well I will be happy to package and maintain it ! Anthony.
