Renamed file to match the module name
Reanmed file
Implemented SK
Defined lambda-terms
Implemented a compiler from lambda-terms to SK-terms
Reorganized source tree
Sketched TWICE