Skip to content

Commit

Permalink
Rewrite select to use a ProofTreeVisitor
Browse files Browse the repository at this point in the history
  • Loading branch information
@compiler-errors
compiler-errors committed Apr 29, 2024
1 parent a061830 commit b7b5763
Showing 1 changed file with 163 additions and 333 deletions.

0 comments on commit b7b5763

Please sign in to comment.