ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-09-11 05:45:30 +03:00
Code Issues Packages Projects Releases Wiki Activity

[RFC] Improve some wording.

Browse Source
This commit is contained in:
Alessandro Coglio 2021-10-04 18:51:48 -07:00
parent 5b77e1e283
commit bc9658b972
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/rfc/003-imports-stabilization.md
View File

@ -39,7 +39,7 @@ proving systems and curves.
## Background
Leo supports the importing of packages, similarly to other languages.
Leo supports packages and importing, similarly to other languages.
A Leo program consists of a main file,
which may import additional packages (files),