YAS representation el(term)

Language

EL

---

Dependencies

• languages/EL: function
  • Function parse
  • Representation el(text)
  • Representation el(term)
  • Goal eglParser(elAbstract: (~>))
  • Files
    • File languages/EL/cs.term
    • File languages/EL/ls.term
• languages/EL: membership
  • Representation el(term)
  • Goal eslLanguage
  • File languages/EL/as.term
• languages/EL/tests: function
  • Function evaluate
  • Representation el(term)
  • Representation term
  • Goal elEvaluate:evaluate
  • Files: None
• languages/EL/tests: function
  • Function simplify
  • Representation el(term)
  • Representation el(term)
  • Goal elSimplify: (~>)
  • Files: None
• languages/EL/tests: function
  • Function simplify
  • Representation el(term)
  • Representation el(term)
  • Goal elqqSimplify: (~>)
  • Files: None
• languages/EL/tests: function
  • Function try
  • Representation el(term)
  • Representation el(term)
  • Goal elRewrite:try
  • Files: None
• languages/EL/tests: function
  • Function vtry
  • Representation el(term)
  • Representation el(term)
  • Goal elRewrite:vtry
  • Files: None
• languages/EL/tests: function
  • Function fulltd
  • Representation el(term)
  • Representation el(term)
  • Goal elRewrite:fulltd
  • Files: None
• languages/EL/tests: function
  • Function fullbu
  • Representation el(term)
  • Representation el(term)
  • Goal elRewrite:fullbu
  • Files: None
• languages/EL/tests: function
  • Function innermost
  • Representation el(term)
  • Representation el(term)
  • Goal elRewrite:innermost
  • Files: None

---

Files

• languages/EL/tests/a.term
• languages/EL/tests/left-associated.term
• languages/EL/tests/mix-associated.term
• languages/EL/tests/needs-commute.term
• languages/EL/tests/needs-fullbu.term
• languages/EL/tests/no-vars.term
• languages/EL/tests/right-associated.term
• languages/EL/tests/top-unit.term

---