This is a research language at the moment, so our papers are the primary mode of communication about the language. There are several examples in those.