Code

Prove type checker soundness.#171

Code

Merged

emina merged 2 commits intomaincedar-policy/cedar-spec:mainfrom typechecker-soundness-proofcedar-policy/cedar-spec:typechecker-soundness-proofCopy head branch name to clipboardDec 11, 2023

+5,602-334

Commits

Commits on Dec 11, 2023

• Prove type checker soundness.

  

  Emina Torlak

  committed
  26adeb7

• Remove outdated comment.

  

  Emina Torlak

  committed
  bd5309d