---
name: lambda
version: 0.1.4
origin: math/lambda
comment: A lambda calculus interpreter
arch: freebsd:9:x86:64
www: http://uniquesoftwaredesigns.com/lambda/docs/lambda.html
maintainer: ports@FreeBSD.org
prefix: /usr/local
licenselogic: single
flatsize: 106182
desc: |
  Lambda is a lambda calculus interpreter. It also will convert lambda expression
  into the combinators S, K, and I.

  Current features:
      * Load predefined lambda expression
      * Many definitions provided: numbers Y fact map iszero list 1st 2nd 3rd
        ADD MUL EXP list suc pred . . .
      * Automatic number definitions.
      * Interpret lambda expressions.
      * Single step interpretation.
      * Normal or application order reductions.
      * Variable extraction (Conversion to S K I)
      * List definitions.
      * Some lambda calculus theory.

  WWW: http://uniquesoftwaredesigns.com/lambda/docs/lambda.html
categories: [math]
files:
  /usr/local/bin/lambda: 8a3594bb09ee6c922481e1a4dbca0dc8f4a11e2da5229c802b28e6962bc3e2e8
  /usr/local/share/doc/lambda/lambda.html: c6c8ce73b4f5e4e0447ffb8e9cb4cc3d53303a39875930b4ec5250d421938403
  /usr/local/share/doc/lambda/lambdamanual.html: 3521389c32a79afe109becffeea16d2eba251850730a1bf767d31fd03021e591
  /usr/local/share/doc/lambda/user_manual_style.css: 057a2e15838f4912760810ef1a67f3a43d06378ca73e67b373bf1b721e8e5f2b
  /usr/local/share/lambda/definitions: c0ce6afb3ae8ce8f60449d1821d5986b473ccbf037a5e678fe29e99ccf1975b2
  /usr/local/share/lambda/definitions_with_numbers: a3c9b9c1cd434f3236daf8c5bbaf3047d81359d9e5292644a7a2bfd4e2ad6b4b
directories:
  /usr/local/share/lambda/: n
  /usr/local/share/doc/lambda/: n
scripts: {}
