mvhutz/lambda
1
0
Fork 0
Code Issues 3 Pull Requests Actions Packages Projects Releases Wiki Activity

style: renamed samples to tests

Browse Source
This commit is contained in:
Maxim Hutz
2026-01-11 20:31:36 -05:00
parent da9ee0bcb0
commit 35224ee4d7
6 changed files with 5 additions and 92 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
samples/simple.txt
View File

@@ -1,16 +0,0 @@
(\0.
(\inc.
(\add.
(\mult.
(\exp.
(exp (inc (inc (inc (inc 0)))) (inc (inc (inc (inc (inc 0))))))
\n m.(m n)
)
\m n f.(m (n f))
)
\n m.(m inc n)
)
\n f x.(f (n f x))
)
\f x.x
)