lambda-to-SKI-translator Lambda to SKI translator : 2020-2 Automata and Formal Theory Notice Compiled in Visual Studio DO NOT COPY Contents