mirror of
https://github.com/AleoHQ/leo.git
synced 2024-12-19 15:41:36 +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. |
||
|---|---|---|
| .. | ||
| rfc | ||