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 for Sets

  • VolumesSlangReference ManualPattern Matching
    • Pattern Matching for Sequences
    Pattern Matching for Maps