I just finished a first draft describing Infernu’s type system. Target audience is potential users.
Comments welcome!