An educational web application for experimenting with lambda-calculus and with the reduction strategies which are used in functional languages (OCaml, Scheme, Haskell). It includes the automatic translation of a subset of OCaml expressions into lambda-expressions.

Features

  • Translation of Ocaml expressions into lambda-expressions
  • Reduction of lambda-expressions by using several strategies
  • Display of each reduction step

Project Samples

An example

Project Activity

See All Activity >

Categories

Exam, Languages

License

MIT License

Follow toLambda

toLambda Web Site

Other Useful Business Software
Get Avast Free Antivirus | Your top-rated shield against malware and online scams Icon
Get Avast Free Antivirus | Your top-rated shield against malware and online scams

Boost your PC's defense against cyberthreats and web-based scams.

Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
Free Download
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of toLambda!

Additional Project Details

Intended Audience

Science/Research

Registered

2013-11-07
Report inappropriate content