A lambda calculus engine

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

Go to file

Mark 7a1077e371 Added error handling		2022-10-21 19:24:47 -07:00
.vscode	Added metafiles	2022-10-20 11:01:50 -07:00
misc	Image size	2022-10-21 15:09:09 -07:00
.editorconfig	Added metafiles	2022-10-20 11:01:50 -07:00
.gitignore	Added metafiles	2022-10-20 11:01:50 -07:00
README.md	Added support for curry shorthand	2022-10-21 19:13:07 -07:00
commands.py	Added a few commands	2022-10-21 17:55:31 -07:00
greeting.py	Added a few commands	2022-10-21 17:55:31 -07:00
main.py	Added error handling	2022-10-21 19:24:47 -07:00
parser.py	Added support for curry shorthand	2022-10-21 19:13:07 -07:00
runner.py	Added a few commands	2022-10-21 17:55:31 -07:00
runstatus.py	Added a few commands	2022-10-21 17:55:31 -07:00
tokens.py	Added error handling	2022-10-21 19:24:47 -07:00

README.md

Lamb: A Lambda Calculus Engine

Todo (pre-release):

Fix parser (call parentheses)
Good command parsing (:save, :load, are a bare minimum)
Python files: installable, package list, etc
\alpha-equivalence check
Versioning
Automatic church numerals
Prettyprint functions (combine args, rename bound variables)
Documentation in README
Don't crash on errors

Todo:

live syntax check
Command and macro autocomplete
step-by-step reduction
Maybe a better icon?
Warn when overwriting macro
Syntax highlighting: parenthesis, bound variables, macros, etc
Pin header to top of screen

Mention in Docs

lambda functions only work with single-letter arguments