Tony spec

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:

• Compiler and Type Inference algorithm
• Parser
• CLI

New proposals to Tony are made in this repository. You can learn more about proposals to Tony here.

Releases

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.

Publishing

1. Review breaking changes and deprecations in CHANGELOG.md
2. Reset CHANGELOG.md
3. Create a new release listing the breaking changes, deprecations and commits on main since the last release.