Code

Schema type checker#335

Code

Open

abigailalice wants to merge 3 commits intocircuithub:mastercircuithub/rel8:masterfrom abigailalice:verifyabigailalice/rel8:verifyCopy head branch name to clipboard

+1,108-6

Commits

Commits on Aug 12, 2024

• Implement schema typechecker

  Show description for a23cd82
  

  abigailalice

  and

  KaneTW

  committed
  a23cd82

  Copy full SHA for a23cd82

Commits on Aug 29, 2024

• Merge branch 'master' into verify

  abigailalice

  authored
  5ee157b

  Copy full SHA for 5ee157b

Commits on Jan 7, 2025

• Merge branch 'master' into verify

  abigailalice

  authored
  e8b9fe6

  Copy full SHA for e8b9fe6