Logo

Getting started

  • Intro
  • Contract-Driven Development
  • References

Writing contracts

  • Values
  • Exceptions
  • Side-effects

Checking contracts

  • Runtime
  • Tests
  • Linter
  • Formal verification
  • CrossHair

Dive deeper

  • More on writing contracts
  • Contracts for modules
  • Dispatch
  • Documentation
  • Stubs
  • More on testing
  • Recipes
  • Examples
  • CLI
  • API
Deal
  • »
  • Search

© Copyright 2023, Gram (@orsinium). Revision e39f52c5.

Built with Sphinx using a theme provided by Read the Docs.