Code

Update inversion theorems#114

Code

Merged

Ailrun merged 4 commits intomainBeluga-lang/McTT:mainfrom pr-inversion-theoremsBeluga-lang/McTT:pr-inversion-theoremsCopy head branch name to clipboardJun 13, 2024

+222-97

Commits

Commits on Jun 13, 2024

• Rename a constructor

  Ailrun

  committed
  736ec6e

• Remove duplicated inversion theorems

  Ailrun

  committed
  735ef59

• Add an inversion theorem unexpectedly syntactic

  Ailrun

  committed
  c6b54b2

• Rearrange completeness consequences in a clearer structure

  Ailrun

  committed
  1271e19