Code

Type-aware Partial Evaluation#83

Code

Closed

shaobo-he-aws wants to merge 2 commits intomaincedar-policy/rfcs:mainfrom type-aware-pecedar-policy/rfcs:type-aware-peCopy head branch name to clipboard

+76

Commits

Commits on Sep 20, 2024

• First draft

  Show description for b6f3c07
  shaobo-he-aws

  committed
  b6f3c07

  Copy full SHA for b6f3c07

Commits on Oct 2, 2024

• added an approach depending on validation

  Show description for 2931d3b
  shaobo-he-aws

  committed
  2931d3b

  Copy full SHA for 2931d3b