All releases of A practical lambda-calculator

  •  07 Mar 2003 07:26
Avatar

    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
    Avatar

      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
      Avatar

        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
        Avatar

          Release Notes:

          Screenshot

          Project Spotlight

          episoder

          A tool to tell you about new episodes of your favourite TV shows.

          Screenshot

          Project Spotlight

          BalanceNG

          A modern software IP load balancer.