# Simplicity

> A typed, combinator-based, smart contract language for Bitcoin-like blockchains.

This file is an index of documentation pages. For all content in a single file, see [Simplicity full docs](https://docs.simplicity-lang.org/llms-full.txt).

## Get Started

- [Quickstart](https://docs.simplicity-lang.org/getting-started/quickstart.md)
- [Intro for Bitcoin Developers](https://docs.simplicity-lang.org/getting-started/welcome-bitcoin.md)
- [Intro for EVM Developers](https://docs.simplicity-lang.org/getting-started/welcome-evm.md)
- [Intro for Finance Professionals](https://docs.simplicity-lang.org/getting-started/welcome-finance.md)
- [Weekly Office Hours call](https://docs.simplicity-lang.org/office-hours.md)

## Learn

- [Execution Model](https://docs.simplicity-lang.org/documentation/execution-model.md)
- [Covenants & State Management](https://docs.simplicity-lang.org/documentation/state.md)
- [Witnesses](https://docs.simplicity-lang.org/documentation/witness.md)
- [Oracles](https://docs.simplicity-lang.org/documentation/oracle.md)
- [Timelocks](https://docs.simplicity-lang.org/documentation/timelocks.md)
- [Simplex](https://docs.simplicity-lang.org/documentation/simplex.md)
- [Ecosystem & Wallet Integration](https://docs.simplicity-lang.org/documentation/wallet.md)
- [txmanifest](https://docs.simplicity-lang.org/documentation/txmanifest.md)
- [Use Cases Overview](https://docs.simplicity-lang.org/use-cases/index.md)
- [Simplicity DEX](https://docs.simplicity-lang.org/use-cases/simplicity-dex.md)
- [Lending Protocol](https://docs.simplicity-lang.org/use-cases/lending-protocol.md)

## Reference

- [Introduction](https://docs.simplicity-lang.org/simplicityhl-reference/index.md)
- [Types and Values](https://docs.simplicity-lang.org/simplicityhl-reference/type.md)
- [Type Aliases](https://docs.simplicity-lang.org/simplicityhl-reference/type_alias.md)
- [Type Casting](https://docs.simplicity-lang.org/simplicityhl-reference/type_casting.md)
- [Let Statements](https://docs.simplicity-lang.org/simplicityhl-reference/let_statement.md)
- [Match Expression](https://docs.simplicity-lang.org/simplicityhl-reference/match_expression.md)
- [Defining Functions](https://docs.simplicity-lang.org/simplicityhl-reference/function.md)
- [Programs](https://docs.simplicity-lang.org/simplicityhl-reference/program.md)
- [Built-in Functions](https://docs.simplicity-lang.org/simplicityhl-reference/builtin.md)
- [Jets Reference](https://docs.simplicity-lang.org/documentation/jets.md)
- [Standard Library Reference](https://docs.simplicity-lang.org/documentation/stdlib.md)
- [.wit File Reference](https://docs.simplicity-lang.org/documentation/witness-format.md)
- [Toolchain Reference](https://docs.simplicity-lang.org/documentation/toolchain.md)
- [Context](https://docs.simplicity-lang.org/simplicityhl-reference/context.md)
- [Environment](https://docs.simplicity-lang.org/simplicityhl-reference/environment.md)
- [Translation](https://docs.simplicity-lang.org/simplicityhl-reference/translation.md)

## Resources

- [FAQ](https://docs.simplicity-lang.org/resources/faq.md)
- [Glossary](https://docs.simplicity-lang.org/glossary.md)
- [Simplicity for EVM Developers](https://docs.simplicity-lang.org/documentation/simplicity-for-evm-developers.md)
- [Differences from Rust](https://docs.simplicity-lang.org/documentation/rust-differences.md)
- [Simplicity Compared](https://docs.simplicity-lang.org/documentation/simplicity-compared.md)
- [Roadmap Overview](https://docs.simplicity-lang.org/resources/roadmap.md)
- [Ecosystem/Wallet Connect Roadmap](https://docs.simplicity-lang.org/documentation/road-to-ecosystem.md)
- [Projects](https://docs.simplicity-lang.org/resources/projects.md)