Compiler for a thin Symbolic Expressions abstraction layer over Lambda calculus | Heykuki News