whosethenerd/Lambda-calculus
Watch
1
0
Fork
You've already forked Lambda-calculus
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
A program to parse and reduce lambda calculus terms, written in Idris 2
9 commits 1 branch 0 tags 47 KiB
  • Idris 100%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
MMaikov 53d193035f Add missing lambda constants in pretty printing
2025-10-14 18:59:35 +03:00
.gitignore Initial code commit 2025-09-21 17:49:44 +03:00
Lambda.idr Add missing lambda constants in pretty printing 2025-10-14 18:59:35 +03:00
Lambda.ipkg Lambda parsing 2025-09-28 22:35:21 +03:00
LICENSE Initial commit 2025-09-21 17:46:56 +03:00
README.md Initial commit 2025-09-21 17:46:56 +03:00
test1.lam Improved lambda term printing and can now read lambda definitions from file and evaluate main lambda definition 2025-10-14 18:53:03 +03:00
test2.lam Improved lambda term printing and can now read lambda definitions from file and evaluate main lambda definition 2025-10-14 18:53:03 +03:00

README.md

Lambda-calculus

A program to parse and reduce lambda calculus terms, written in Idris 2