Code

Class declare tc command#538

Code

Merged

gares merged 7 commits intoLPCIC:masterLPCIC/coq-elpi:masterfrom FissoreD:class-declare-TC-commandFissoreD/coq-elpi:class-declare-TC-commandCopy head branch name to clipboardNov 8, 2023

+234-98

Commits

Commits on Nov 7, 2023

• Add TC.declare for class creation with custom attr

  FissoreD

  committed
  c3cce18

• Update readme : hint modes

  FissoreD

  committed
  7970f55

• remove addmode flag (now is always on)

  FissoreD

  committed
  d2c2955

• Variable rename

  FissoreD

  committed
  13c3290

Commits on Nov 8, 2023

• fixup attribute parsing

  gares

  committed
  77136d0

• syntax for coq modes that parses as a coq attribute

  gares

  committed
  237f7e1

• only one class predicate per class

  gares

  committed
  34fd543