Skip to content

Commit 32aec4d

Browse files
compiler-errorscompiler-errors
committed
Rewrite select to use a ProofTreeVisitor
1 parent 378a43a commit 32aec4d

File tree

2 files changed

+164
-328
lines changed

2 files changed

+164
-328
lines changed

0 commit comments

Comments
 (0)