|
Because theoretical computer science does not mean "deal with useless things"
|
Java LCD(1.1) is a tool (obviously written in java) that calculate weak reduction
and abstraction in combinatory logic.
It's distribuited under license GPL3.
COLOBO project. I'm the main developer of this project, whose aim is to create a framework
in ocaml for the combinatory logic based languages. Obviously, it works also for the standard combinators in CL.
|