YAS representation ok(efpl(term))

Language

None

---

Dependencies

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

---

Files

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

---