Compiler for a thin Symbolic Expressions abstraction layer over Lambda calculusgithub.com/dzautner3 pointsdzautner9 years ago