Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 15, 2011

• Converted README to Markdown

  hellertime

  committed
  5494828

  Copy full SHA for 5494828

Commits on Feb 13, 2008

• last commit before 1.0 tag

  hellertime

  committed
  6e3816a

  Copy full SHA for 6e3816a

Commits on Jan 30, 2008

• added navigation

  hellertime

  committed
  cc1ab92

  Copy full SHA for cc1ab92

Commits on Aug 24, 2007

• nothign major, some formatting changes

  hellertime

  committed
  1b45c81

  Copy full SHA for 1b45c81

• added new forms, PRED ZERO? CONS HEAD TAIL

  hellertime

  committed
  996497e

  Copy full SHA for 996497e

Commits on Aug 23, 2007

• Reducer is working. Time to add S K I, and a better interface

  hellertime

  committed
  8e80575

  Copy full SHA for 8e80575

• removed debugging, which was causing failure when FireBug was disabled

  hellertime

  committed
  34663ce

  Copy full SHA for 34663ce

• reducer is now in proper working order, eta and beta reductions plus alpha conversion

  hellertime

  committed
  03bf120

  Copy full SHA for 03bf120

Commits on Aug 22, 2007

• checking in code here since I am going to overhaul the reducer. this is a save point

  hellertime

  committed
  14cce7c

  Copy full SHA for 14cce7c

Commits on Aug 17, 2007

• The reduction process needs revamping... church numerals are breaking on it. However it appears SUCC works, and I think PLUS will too, but well ... reduction

  hellertime

  committed
  803c74a

  Copy full SHA for 803c74a

• now with boolean logic

  hellertime

  committed
  ba02d4e

  Copy full SHA for ba02d4e

• working version including TRUE, FALSE and IF

  hellertime

  committed
  207628e

  Copy full SHA for 207628e

• some info

  hellertime

  committed
  716e05f

  Copy full SHA for 716e05f

• Gotta get this in SVN

  hellertime

  committed
  0d6a375

  Copy full SHA for 0d6a375