GitHub repository: krlmlr/proposal
Description: Proposal document about ergo