homepage: welcome to ideal!

quickstart: start reading ideal source code after a one page introduction.

communication: follow progress and ask questions about ideal.

type flavors: novel feature of the ideal type system.

here be dragons: overview of the ideal codebase.

install and run: installation guide.

license: ideal is open source.