search

kishtarn555 / rekarel-core

MIT License
0 stars 0 forks source link

[Revamp] Syntax sugar for succ and pred #19

Closed kishtarn555 closed 2 weeks ago

kishtarn555 commented 2 weeks ago

Add succ(n, 3) to be n+3, instead of succ(succ(succ(n)))