Project Report: Dependently Typed Programming with Lambda Encodings in Cedille. - Ananda Guneratne; Chad Reynolds; Aaron Stump (TFP, 2016)