mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-10 13:24:15 +03:00
414cddb96d
This is based on today's discussion at the compiler sync. The rationale for the proposed name is explained in the added text. Open to change, as always. |
||
---|---|---|
.. | ||
__template.md | ||
000-rfc-format.md | ||
001-initial-strings.md | ||
002-bounded-recursion.md |