YAS representation ok(eipl(term))

Language

None

---

Dependencies

• languages/EIPL/Prolog: membership
  • Representation ok(eipl(term))
  • Goal eiplTyping:main
  • Files: None

---

Files

• languages/EIPL/sample.term

---