Packages

package elpi

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class ELPIError(msg: String) extends Error with Product with Serializable
  2. class ELPIExporter extends BuildTarget with Exporter

Value Members

  1. object ELPI

    implementation of the syntax of the ELPI system by Claudio Sacerdoti Coen and others

    implementation of the syntax of the ELPI system by Claudio Sacerdoti Coen and others

    In concrete syntax, clauses are written with inverted implication and implicit quantification of upper case variables.

    Upper-case variables are instantiable while lower-case ones are not. (In queries: existential; in assumptions: universal)

  2. object HelpCons
  3. object PairCons extends Constant

Ungrouped