YAS representation efpl(value(term))

Language

None

---

Dependencies

• languages/EFPL/Prolog: membership
  • Representation efpl(value(term))
  • Goal intOrBool:value
  • Files: None
• languages/EFPL/Prolog: function
  • Function bigstep
  • Representation ok(efpl(term))
  • Representation efpl(value(term))
  • Goal efplBigstep:evaluate
  • Files: None

---

Files

• languages/EFPL/Prolog/sample.value

---