neurallambda

Reasoning about Reasoning Computers