An informal, semantic specification for Rhovas, a programming language intended for API design and enforcement.
MIT LicenseMIT