Skip to content

Commit 9834c83

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

File tree

2 files changed

+165
-328
lines changed

2 files changed

+165
-328
lines changed

0 commit comments

Comments
 (0)