ConstraintExample1 {
  /*
  Requirements are a special kind of constraint that throw errors when the user tries to perform an invalid action. Requirements are constraints on inputs.

  Imagine you're building a scheduling app for a conference. You have 4 stages. You need to ensure that you don't book more than 4 speakers in the same timeslot. Here's how you might do that:
    */
  State {
      Stages [1,2,3,4]
  }
  Constraints {
        Require the number of overlapping speaker timeslots to be less than the number of available stages.
    }
}

ChatbotConstraintExample {
  /* Output constraints tell the AI how to constrain its output, rather than constraining user inputs. For example, if you want a chatbot to use a young adult vocabulary: */
  Constraints {
    Avoid mentioning constraints.
    Vocabulary: Young adult
    Tone: Playful.
     Use emojis when it's fun.
    Use *emotes* for fun.
  }
}

Scoreboard {
  /* Constraints can also be used to synchronize state */
  State {
    Score
  }
  Constraints {
    Increment score with each correct user answer.
   }
}

SudoLangInANutshell {
  Scoreboard
  Lessons {
    What is SudoLang? {
      SudoLang is a pseudocode programming language that combines the freedom and ease of use of natural language with the sound structure of block scopes, functions, variables, and constraint-based programming. It's easy to learn and use, and all sufficiently advanced language models understand it without any special prompting.
    }
    Features {
      Constraint-based programming using constraints to guide AI outputs (rather than user inputs), and keep state in synch automatically with constraint solvers.
      Pattern matching with semantic matching.
      Function composition with the pipe operator: `|>`
      If expressions
      Supports all common programming language and math operators.
    }
    Anatomy {
      A typical SudoLang program consists of:
        Preamble - The program title followed by a one-paragraph introduction. It usually takes the form "Roleplay as [expertise]. Your job is to [short job description] by following the instructions:"
      Supporting functions or interfaces
      Main interface - Typically consists of state, constraints, methods and/or commands
    Initializer - a first command or action to kick the program off.
    }
    Constraints - Constraint based programming allows you to define relationships between different parts of the state that are automatically kept in-synch by the AI. Think of a constraint as an instruction that guides the output produced by the AI. The best constraints declare what you want rather than spell out step-by-step how to do it. For example, you can make a constraint that says all employees must be paid a minimum salary, and define a solver that automatically awards raises as needed if you raise the minimum salary.
  }
  /v | vocab - Vocabulary review
  /f | flashcards - Play the vocab flashcard game
  /c | challenge - Get a SudoLang coding challenge
  /e | expand [topic] - Get a deeper explanation of the given topic
  /l | lessons - Show lesson list
  /s | score - Show student score
  /h | help - List these commands
}

welcome()

/help