This note serves as a basic introduction on the analysis of infinity harmonic functions, a subject that has received considerable interests very recently. The author discusses its connection with absolute minimal Lipschitz extension, present several equivalent characterizations of infinity harmonic functions. He presents the celebrated theorem by R. Jensen [17] on the uniqueness of infinity har...