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

feat: saccharine example

Browse Source
This commit is contained in:
Maxim Hutz
2025-12-26 02:49:18 -05:00
parent d427703afe
commit f26e7fbdc9
1 changed files with 9 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
samples/saccharine.txt Normal file
View File

@@ -0,0 +1,9 @@
0 := \f x.x
inc n := \f x.(f (n f x))
add n m := m inc n
mult n m := m (n f)
exp m n := m n
# This is the final output.
5 := (inc (inc (inc (inc (inc 0)))))
exp 5 5