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.

license: ideal is open source.