YAS representation lal(text)

Language

Dependencies

languages/LAL: membership
- Representation lal(text)
- Goal eglAcceptor(lalAbstract: (~>))
- Files
  - File languages/LAL/cs.term
  - File languages/LAL/ls.term
languages/LAL: function
- Function parse
- Representation lal(text)
- Representation lal(term)
- Goal eglParser(lalAbstract: (~>))
- Files
  - File languages/LAL/cs.term
  - File languages/LAL/ls.term
languages/LAL: equivalence
- Representation lal(text)
- Goal lalTextEq:eq
- Files
  - File languages/LAL/cs.term
  - File languages/LAL/ls.term
languages/LAL: function
- Function pp
- Representation lal(term)
- Representation lal(text)
- Goal lalPp:pp
- Files: None

Files