Lux is a purely-functional and statically-typed lisp that pushes the boundaries of what’s possible in terms of meta-programming.