Awesome

AIT

Algorithmic Information Theory, using Binary Lambda Calculus