goli Lambda calculus interpreter in go Usage Options: --prelude: Load prelude including several combinators, pairs, and arithmetic with Church numerals --load: Load an external file