YAS representation ok(btl(term))

Language

None

---

Dependencies

• languages/BTL/Prolog: membership
  • Representation ok(btl(term))
  • Goal btlTyping:ok
  • 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

---