LIPS

Add a Review
0 Downloads (This Week)
Last Update:
  Browse Code SVN Repository

Description

LIPS is an easy-to-use command line interpreter for the lambda-calculus. It supports different evaluation strategies, a trace-mode, abbreviations and typing. Furthermore LIPS allows to export interpreter-sessions to a user-definable format (e.g., LaTeX).

LIPS Web Site

KEEP ME UPDATED

Write a Review

User Reviews

Be the first to post a review of LIPS!

Additional Project Details

Intended Audience

Education

User Interface

Command-line

Programming Language

OCaml (Objective Caml)

Registered

2009-03-01
Screenshots can attract more users to your project.
Features can attract more users to your project.