RSS 1 project tagged "Mathematics"

No download Website Updated 06 Mar 2003 A practical lambda-calculator

Screenshot
Pop 24.74
Vit 2.17

A practical lambda-calculator is a normal-order evaluator for the untyped lambda-calculus, extended with convenient commands and shortcuts to make programming in it more productive. Shortcuts are distinguished constants that represent terms. Commands define new shortcuts, activate tracing of all reductions, compare terms modulo alpha-conversion, print all defined shortcuts and evaluation flags, etc. Terms to evaluate and commands are entered at a read-eval-print-loop (REPL) "prompt" or "included" from a file by a special command. A Haskell branch is an embedding of the lambda calculator (as a domain-specific language) into Haskell. The calculator can be used interactively within Hugs or GHCi.

Screenshot

Project Spotlight

Smooth Build

A powerful build tool with a simple language.

Screenshot

Project Spotlight

Mahara

A digital e-portfolio builder and social networking application.