YAS representation bsl(term)

Language

BSL

---

Dependencies

• languages/BGL: function
  • Function project
  • Representation bgl(term)
  • Representation bsl(term)
  • Goal bglToBsl: (~>)
  • Files: None
• languages/BSL: membership
  • Representation bsl(term)
  • Goal signature
  • Files: None
• languages/BSL: function
  • Function parse
  • Representation bsl(text)
  • Representation bsl(term)
  • Goal parserOfBsl
  • Files: None
• languages/BSL: function
  • Function parse
  • Representation bsl(text)
  • Representation bsl(term)
  • Goal eglParser(bslAbstract: (~>))
  • Files
    • File languages/BSL/cs.term
    • File languages/BSL/ls.term
• languages/BSL: membership
  • Representation bsl(term)
  • Goal eslLanguage
  • File languages/BSL/as.term
• languages/BSL: function
  • Function conformsTo
  • Languages
    • Representation term
    • Representation bsl(term)
  • Languages: None
  • Goal bslConformance
  • Files: None
• languages/BSTL: function
  • Function interpret
  • Languages
    • Representation bstl(term)
    • Representation bsl(term)
  • Representation bsl(term)
  • Goal bstlSig:interpret
  • Files: None

---

Files

• languages/BNL/as.term
• languages/BSL/sample.term
• languages/BSTL/tests/sig1.term
• languages/BSTL/tests/sig2.term
• languages/BTL/as.term
• samples/obsolete/expr/as.term

---