OmegaOS: A Lambda Calculus Based Operating System

OmegaOS is a homebrew OSDev project that boots to an untyped lambda calculus interpreter prompt based on John Tromp's Binary Lambda Calculus. https://tromp.github.io/cl/Binary_lambda_calculus.html In this example 2^3 is computed. The result, 8, can be seen on the final line as a Church numeral. The computation is executed solely with rewrites / reductions.