Welcome to DepTyCheck’s documentation!

• About this documentation
• Tutorials
  • Test you first function
  • Hand-written generators
  • Automatic derivation of generators
• How-to guides
• Reference
  • For users
  • For contributors
• Explanation
  • Generators
  • Derivation of generators
  • Specifications as data types