core-typed 2019-06-28

something very pleasing about using beta-reduction to symbolically analyse a lisp using anonymous lambdas

turtles all the way down