Skip to content
lambda calculus. implemented in coffeescript.
CoffeeScript JavaScript
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.

i'm trying to learn some stuff about lambda calculus, and i understand things better when i can hack on them. so this is a simple environment that allows you to implement some of the core concepts in the lambda calculus (like church numerals and data structures), and then quiz yourself by writing unit tests that verify their correctness.

to test:

  • get git and node.js v0.8
  • run this:

    $ git clone
    $ cd church-s-coffee
    $ npm install
    $ npm test

if you'd like hack on the file and re-run the tests any time you change something:

$ node_modules/.bin/mocha --compilers coffee:coffee-script --watch
Something went wrong with that request. Please try again.