mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-26 16:37:30 +03:00
a0923b95c9
Discuss a possible extension to designate also the starting bound as inclusive or exclusive, and discuss (a)symmetries and options. |
||
---|---|---|
.. | ||
__template.md | ||
000-rfc-format.md | ||
001-initial-strings.md | ||
002-bounded-recursion.md | ||
003-imports-stabilization.md | ||
004-integer-type-casts.md | ||
005-countdown-loops.md |