An interactive intrpreter of lambda-calculi and combinatorial terms
Haskell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
data
src
windows-setup
.gitignore
COPYING.txt
README.markdown
Setup.hs
build.bat
clean.bat
install.bat
package.cabal

README.markdown

LambdaInterpreter

LambdaInterpreter provides GUI to watch the evaluation of lambda-calculi terms and terms of combinatorial logic.

It allows

  • beta and eta reduction steps
  • converting between lambda-calculi and combinators
  • editing predefined evironment of known terms.

Copyright 2009 Victor Nazarov asviraspossible@gmail.com