YAS representation efpl(text)

Language

EFPL

---

Dependencies

• languages/EFPL: membership
  • Representation efpl(text)
  • Goal eglAcceptor(efplAbstract: (~>))
  • Files
    • File languages/EFPL/cs.term
    • File languages/EFPL/ls.term
• 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

---

Files

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

---