jsfpdn

blabbering about programming, computer science & stuff

2023

Encoding Boolean Operators in Untyped λ Calculus
theory lambda calculus functional programming