A very simplistic lambda interpreter.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Command.hs
CommandParser.hs
Expression.hs
InteractiveTagger.hs
LambdaInterpreter.hs
Makefile
Numbers.hs
Parser.hs
PrettyPrinter.hs
README.md
Settings.hs
Taggers.hs
UserInput.hs
default.lambda

README.md

lambdainterpreter_haskell

A very simplistic lambda interpreter.

Requirements

  • Parsec
  • ansi-terminal

Both should be available via cabal.

Compilation

Usually, a simple ghc LambdaInterpreter -outputdir bin should be enough.

Usage

Just invoke ./LambdaInterpreter with an additional filename containing your definitions (e.g. ./LambdaInterpreter --filename default.lambda).

To make the user experience nicer, I encourage you to use the little tool rlwrap.