Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / WS 2021/22 / Fortgeschrittene Funktionale Programmierung / Galerie / Capybara λ-evaluator


Inhaltsbereich

Capybara λ-evaluator

Projekt: Capybara λ-evaluator
Capybara
Zusammenfassung: Capybara is a single-page web application that allows interactive graph reduction of lambda expressions. It supports Call-By-Name, Call-By-Value and Call-By-Need evaluation strategies and allows users to go through the reduction step-by-step. In addition, supercombinators without parameters can be used to abbreviate more complex lambda expressions. Capybara is designed to make the understanding and comparison of different evaluation strategies easier.
URLs

Artikelaktionen


Funktionsleiste