PetitLambda

PetitLambda is an interpreter of lambda calculus.
Download

PetitLambda Ranking & Summary

Advertisement

  • Rating:
  • License:
  • BSD License
  • Price:
  • FREE
  • Publisher Name:
  • yamatodani
  • Publisher web site:

PetitLambda Tags


PetitLambda Description

PetitLambda is an interpreter of lambda calculus. PetitLambda is an interpreter of lambda calculus. It shows reduction process of lambda terms.Several evaluation strategies are supported. Output format can be selected from plain text to LaTex.


PetitLambda Related Software

About SoftwareSea