YAS representation lal(term)

Language

Dependencies

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: membership
- Representation lal(term)
- Goal eslLanguage
- File languages/LAL/as.term
languages/LAL: equivalence
- Representation lal(term)
- Goal lalTermEq:eq
- Files: None
languages/LAL: normalization
- Representation lal(term)
- Goal lalNorm: (=>)
- Files: None
languages/LAL: function
- Function deps
- Representation lal(term)
- Representation deps(term)
- Goal lalDeps:deps
- Files: None
languages/LAL: function
- Function transform
- Representation lal(term)
- Representation lal(term)
- Goal lalReuse:inline
- Files: None
languages/LAL: function
- Function pp
- Representation lal(term)
- Representation lal(text)
- Goal lalPp:pp
- Files: None
languages/LAL: function
- Function translate
- Languages
  - Representation lal(term)
  - Representation lal(config(term))
- Representation ueber(term)
- Goal lalUeber:translate
- Files: None

Files