lambda_calculus

Welcome to lambda_calculus`s documentation.

This project implements basic operations of the Lambda calculus as a python package and contains helpers to define custom ones.

It is intended to be used for educational purposes and is not optimized for speed. Furthermore, it expects all terms to be finite, which means the absence of cycles. RecursionError may be raised when using an infinite term or the evaluation is too complex.

• Installation
  • Installation from PyPI
  • Installation from source
• Package API
  • Package terms
  • Package visitors
  • Module errors
  • Variable
  • Abstraction
  • Application

Indices and tables

• Index

• Module Index

• Search Page