YAS representation btl(term)

Language

BTL

---

Dependencies

• languages/BTL: membership
  • Representation btl(term)
  • Goal bslTerm
  • File languages/BTL/as.term
• languages/BTL: function
  • Function parse
  • Representation btl(tokens(term))
  • Representation btl(term)
  • Goal bglParser
  • File languages/BTL/cs.term
• languages/BTL: function
  • Function parse
  • Representation btl(text)
  • Representation btl(term)
  • Goal bglParser(btlScanner)
  • File languages/BTL/cs.term
• languages/BTL: function
  • Function cstToAst
  • Representation btl(bcl(term))
  • Representation btl(term)
  • Goal cstToAst
  • Files: None
• languages/BTL: function
  • Function astToCst
  • Representation btl(term)
  • Representation btl(bcl(term))
  • Goal astToCst
  • File languages/BTL/cs.term
• languages/BTL/Prolog: membership
  • Representation btl(term)
  • Goal btlSyntax:isExpr
  • Files: None
• languages/BTL/Prolog: function
  • Function typeOf
  • Representation btl(term)
  • Representation btl(type(term))
  • Goal btlTyping:typeOf
  • Files: None
• languages/BTL/Prolog: function
  • Function bigstep
  • Representation ok(btl(term))
  • Representation btl(term)
  • Goal btlBigstep:evaluate
  • Files: None
• languages/BTL/Prolog: function
  • Function smallstep
  • Representation ok(btl(term))
  • Representation btl(term)
  • Goal btlSmallstep:steps
  • Files: None

---

Files

• languages/BTL/sample.term
• languages/BTL/value.term

---