toLambda

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

Project Activity

See All Activity >

License

MIT License

Follow toLambda

toLambda Web Site

User Reviews

Be the first to post a review of toLambda!

Additional Project Details

Intended Audience

Science/Research

Registered

2013-11-07

Similar Business Software

YouTestMe

A web-based enterprise application for multi-lingual examination, training, survey & certification with an extensive reporting module. As a highly secured system that can be accessed both on cloud or on-premise, YouTestMe is the best choice for government, business & education institutions....

See Software
Odoo

Odoo is a fully integrated, customizable, open-source software packed with hundreds of expertly designed business applications. Odoo’s intuitive database is able to meet a majority of business needs, such as: CRM, Sales, Project, Manufacturing, Inventory, and Accounting, just to name a few. Odoo...

See Software
Lumio

Lumio is a web-based learning platform that offers more ways to effortlessly make learning fun and engaging on student devices. Whether educators have PDFs, Google Slides, PowerPoint, or Notebook files, Lumio effortlessly transforms them into dynamic, engaging learning experiences on any...

See Software