Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 2e4d1f0070
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 71 lines (59 sloc) 1.674 kb
---
title: λ.calculator
layout: skeleton
---

    {% for post in site.posts %}
  • {{ post.date | date_to_string }} » {{ post.title }}
  • {% endfor %}
How to count:
0 ≡ λsz.z
S ≡ λwyx.y(wyx)
S0 ≡ (λwyx.y(wyx))(λsz.z)
λyx.y((λsz.z)yx)
λyx.y((λz.z)x)
λyx.y(x) ≡ 1
S1 ≡ (λwyx.y(wyx))(λsz.s(z))
λyx.y((λsz.s(z))yx)
λyx.y((λz.y(z))x)
λyx.y(y(x)) ≡ 2
Something went wrong with that request. Please try again.