Documentation for the Disco Language

• Quick Tutorial
  • Getting started
  • Arithmetic
  • Types
  • Disco files and the disco REPL
  • Logic
  • Structural types
  • Functions
  • Case expressions
  • Lists
  • Polymorphism
  • Type Definitions
  • Laziness
  • Properties
• Disco Language Reference