This repository has been archived on 2024-11-05. You can view files and clone it, but cannot push or open issues/pull-requests.
lamb/README.md

659 B

Lamb: A Lambda Calculus Engine

Todo (pre-release):

  • \alpha-equivalence check
  • Prettyprint functions (rename bound variables)
  • Write a nice README
  • Fix colors
  • Print macro content if only a macro is typed

Todo:

  • History accessible in prompt
  • Command and macro autocomplete
  • step-by-step reduction
  • Syntax highlighting: parenthesis, bound variables, macros, etc
  • Pin header to top of screen
  • PyPi package
  • Smart alignment in all printouts
  • Full-reduce option
  • Set reduction limit command
  • Runtime limit

Mention in Docs

  • lambda functions only work with single-letter arguments
  • church numerals
  • how to install