Alessandro Coglio
Alessandro Coglio
## 💥 Proposal `struct` is a more standard and familiar name that `circuit` for this kind of type. Since Leo is being designed to look as much as possible like...
There is currently very little documentation on imports: https://developer.aleo.org/developer/language/imports We should have a user-level, implementation-agnostic/independent to describe the semantics of imports. I'm making this a 'feature' and not just a...
- [ ] Write RFC, starting from #600.
- [x] Write RFC. - [x] Implement transformation. - [x] Provide user-level controls for the limit parameter. - [x] Test both valid and invalid recursions.
As discussed on Slack and as clear from the snarkVM code.
This https://developer.aleo.org/developer/programming_model/model#accessing-input-registers makes reference to `registers`, but I believe that it may be obsolete.
This is purely aesthetic, but the menu on macOS references 'aleo-studio' instead of 'Aleo Studio', as shown in the screenshot below. 
When starting Aleo Studio, the notification shown in the attached screenshot comes up. When I first say the '[Not Available]' starting message text, I instinctively thought there was some error...
When I visited the aleo.studio web site for the first time today, I noticed that, as shown in the attached screenshot, macOS was selected (presumably by the browser detecting that...
The example at https://developer.aleo.org/developer/getting_started/syntax#syntax-to-circuits is ``` // The 'hello-world' main function. function main(a: u32) -> u32 { return a } ``` but when I run the latest version of Leo...