# Table of contents

* [The Flint Programming Language](README.md)
* [proposals](proposals/README.md)
  * [Traits](proposals/0004-traits.md)
  * [Introduce Type States](proposals/0002-type-states.md)
  * [Introduce the Asset trait](proposals/0001-asset-trait.md)
  * [Introduce External Calls](proposals/0003-external-calls.md)
* [docs](docs/README.md)
  * [Mocking Guidelines](docs/mocking_guidelines.md)
  * [pull\_request\_template](docs/pull_request_template.md)
  * [Compiler Guide](docs/compiler_guide.md)
  * [language\_guide](docs/language_guide.md)
* [examples](examples/README.md)
  * [casestudies](examples/casestudies/README.md)
    * [Wallet](examples/casestudies/wallet.md)
    * [Solidity Translated Case Studies](examples/casestudies/solidity-casestudies.md)
* [Contributing](contributing.md)