Butter is still in development, some part of the document may be missing, outdated, and/or not yet implemented.
A high level documentation of syntax and semantics of Butter.
I'm too excited. While I need to focus on implementation, here is some ideas that seems useful and could be added to the language, but it probably needs a polish first.