algorithmic information theory

concrete AIT

• https://github.com/melvinzhang/ait-lisp

binary lambda calculus

• https://tromp.github.io/cl/Binary_lambda_calculus.html
• https://justine.lol/lambda/