by martyalain on 7/27/24, 3:26 PM
In order to explore some of λ-calculus expressions - ie to actually compute algorithms in realtime - we will rewrite them using the lambdatalk language, working in a wiki, lambdatank, built on top of any modern web browser.