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 7597d15 commit be1d5f4
Showing 1 changed file with 163 additions and 333 deletions.
Loading

0 comments on commit be1d5f4

Please sign in to comment.