This repository is home to the formal syntax specification of the Tony programming language. The semantics are specified by the Tony compiler.
Tony is a functional, strongly typed, high level, general purpose programming language. Tony employs refinement types, allowing its type checker to catch domain-specific bugs at compile time.
Other core components of Tony can be found through the following links:
New proposals to Tony are made in this repository. You can learn more about proposals to Tony here.
Here you can find details on all past releases. Unreleased breaking changes that are on the current master can be found here.
Tony follows Semantic Versioning 2.0 as defined at http://semver.org.
- Review breaking changes and deprecations in
CHANGELOG.md - Reset
CHANGELOG.md - Create a new release listing the breaking changes, deprecations and commits on
mainsince the last release.