dev-gm / lambda-calculus Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

A command-line REPL for lambda calculus, with support for function aliases and saving/loading them to/from files. Written in Zig.

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
src		src
.gitignore		.gitignore
README.md		README.md
build.zig		build.zig

Repository files navigation

lambda-calculus

A lambda calculus REPL, written in Zig.

TODO:

Parse
- Expressions
  - Variables
  - Abstractions
  - Applications
- Assignments
- Commands
  - Quit
  - Help
  - Read
  - Write
De Brujin indexing
Beta-reduction
Write state to files
Read state from files
Help script
Custom print function

About

A command-line REPL for lambda calculus, with support for function aliases and saving/loading them to/from files. Written in Zig.

Report repository

Releases

No releases published

Packages

No packages published

Languages

Zig 100.0%