RSS 1 project tagged "Mathematics"

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

Screenshot
Pop 24.98
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

SCHEDIT VIEWER

schematux

Screenshot

Project Spotlight

nassh-relay

A relay server for the Secure Shell Chromium plugin.