- 07 Mar 2003 07:26

**Release Notes:** This version introduces P-numerals, which are arithmetically more convenient and efficient numerals than Church numerals. P-numerals are a functional equivalent of a list data structure. A solution to a bluff combinator puzzle in Lambda calculus was added. Lambda arithmetics were re-written in the notation of the lambda calculator in Haskell. A validation test suite was also added.

- 25 Sep 2002 23:17

**Release Notes:** This is the initial release of the Haskell version of the Lambda
Calculator. The calculator is a Domain-specific (sub)language embedded
in Haskell.

- 25 Jun 2001 15:26

**Release Notes:** Basic arithmetic operations (comparison, addition, subtraction, multiplication,
and division) on non-negative and negative integer numbers was implemented and
explained. Both the integers and the operations on them are represented as
terms in the pure untyped lambda-calculus. The only building blocks are
identifiers, abstractions, and applications. No constants or delta-rules are
used. Reductions follow only the familiar beta-substitution and eta-rules.

- 03 Apr 2001 17:19

**Release Notes:**

« Previous
1
Next »