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

    • Slang Scripting (Basic)

    Sections
    • Overview
    • Creating Scripts to Run Within the Sireum IVE
    • Running Scala Scripts from the Command Line
    • Behind the Scenes - What the Scala Script Runner Does
    • Universal Slang Shell Script (Slash)
  • VolumesSlangReference Manual