mirror of
https://github.com/ProgramSnail/Lama.git
synced 2025-12-06 06:48:48 +00:00
3 lines
143 B
Text
3 lines
143 B
Text
Succ (Add ("a", Sub ("a", "a")))
|
|
Succ (Mul (Div (Mul ("a", "a"), "a"), "a"))
|
|
Succ (Add (Mul ("a", "a"), Sub (Div ("a", "a"), Mul ("a", "a"))))
|