Source Code of a few Reduction Functions


Computing with pure lambda-terms:
Computing with mutable terms (directed acyclic graphs):
Applications:
How to start a toplevel with KAM and LAZY ready to run (versions with statistics):