You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
Emberlynn McKinney 5550b74108 A few more comments 2 years ago
haskell A few more comments 2 years ago
python Time to debug 2 years ago
.gitignore Initial commit 2 years ago
LICENSE Initial commit 2 years ago
README.md Updated README 2 years ago

README.md

lambd

Parser-reducer for the lambda calculus, with a dash of syntax sugar.

There are Haskell and Python implementations. The Python implementation is around 6 or 7 years older and considerably slower, but is included here for historical purposes.

Haskell Usage

lambd [file]

If file is provided, reduce the lambda expression in the named file. Otherwise, reduce the expression read from stdin.

$ cd haskell
$ make
$ ./lambd tests/math.lambd
@@churchnums.[ 5040(@f.f 3 30) ]

Python Usage

lambd.py [module]

If module is provided, reduce the main in the named module.
Otherwise, reduce the expression read from stdin.

$ cd python
$ ./lambd.py tests/math
@@churchnums.[ 120(@f.f 3 3) ]
    calculated in 1012 cycles
      0.179032885 CPU s
      0.17912530899047852 s