Documentation

[alcides]

We want a webpage where we can show off Aeon and Aeon examples.

We wil need:

• [ ] Interesting hello world example with liquid types
• [ ] Interesting synthesis example
• [ ] A tour of Aeon, showing the syntax
• [ ] Explaining the syntax of refinements and its limitations
• [ ] Explaining how to do FFI in Python
• [ ] Explain the CLI flags
• [ ] Document the standard library, once it's stable.

[Prashant-1990]

Hi @alcides ,

I would like to work on this.

[alcides]

That would be awesome!

Do you want to have a quick chat about how to organize the documentation of the compiler? So I can give you some pointers?

[Prashant-1990]

Sure, @alcides . Can we have a call sometime tomorrow?

[alcides]

Does 16h45 Lisbon Time work for you?

[Prashant-1990]

Lets meet at 17.00 hrs Lisbon time.

Google meet link: https://meet.google.com/yce-xiio-bky