Some Syntactic Sugar We are going to be talking about some pretty high level concepts in this post, like true and false and maybe even the natural numbers (although that might be too high level and need to be left to the next post). You've probably realised that the Lambda Calculus has no means of … Continue reading Higher Level Concepts In The Lambda Calculus

# Category: Lambda Calculus

## Computation With The World’s Smallest Programming Language

Update: The latest version of the lambda calculator has line editing and a command history. It's more convenient than the version linked in the blog and is tagged 0.1.0. Note to the reader: much of this post is based on an article I found on the web called Lambda Calculus (part I). That article covers … Continue reading Computation With The World’s Smallest Programming Language