Doc
  • Volumes ᐁ Volumes ᐁ
    • Slang Slang
    • HAMR HAMR
    • Logika Logika
  • Venues ᐁ Venues ᐁ
    • Tutorials Tutorials
    • Presentations Presentations
  • Download Download
  • Papers Papers
  • Funding Funding
  • Team Team

    • Pattern Matching

    Sections
    • Overview
    • Pattern Matching for Tuples
    • Pattern Matching for Basic Types
    • Pattern Matching for Option Types
    • Pattern Matching for Sequences
    • Pattern Matching for Sets
    • Pattern Matching for Maps
    • Pattern Matching for Data Types
    • Pattern Matching for Records
    • Advanced Topics
    • Summary
    • Resources
  • VolumesSlangReference Manual