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

    • Basics

    Sections
    • Simple Output
    • Basic Types and Values
    • Variable Declaration, Assignment, and Sequencing
    • Assertions
  • VolumesSlangReference Manual