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_lam...
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.