Code

isSort and isArity return bool now#785

Code

Merged

mattam82 merged 1 commit intoMetaCoq:coq-8.16MetaCoq/metacoq:coq-8.16from JasonGross:coq-8.16+typing-boolJasonGross/metacoq:coq-8.16+typing-boolCopy head branch name to clipboardNov 21, 2022

+4-4

Commits

Commits on Nov 7, 2022

• isSort and isArity return bool now

  JasonGross

  committed
  8159b12

  Copy full SHA for 8159b12