YAS representation efpl(term)

Language

EFPL

---

Dependencies

• languages/EFPL: function
  • Function parse
  • Representation efpl(text)
  • Representation efpl(term)
  • Goal eglParser(efplAbstract: (~>))
  • Files
    • File languages/EFPL/cs.term
    • File languages/EFPL/ls.term
• languages/EFPL: membership
  • Representation efpl(term)
  • Goal eslLanguage
  • File languages/EFPL/as.term

---

Files

• languages/EFPL/tests/sample-past-inference.term
• languages/EFPL/tests/sample-past-specialization.term
• languages/EFPL/tests/sample.term

---