The λ-calculus is a formalism for representing functions and their application.
            
            
        
        
    λ演算是一种表示函数及其应用的形式体系。
        The best solutions often come from those who work closest with the animals.
                    Vices are sometimes only virtues carried to excess!
                    The novel is a mirror walking down the road.